• M-TREE

  • Referenced in 13 articles [sw02565]
  • commercial grid computing, software copy protection and secure mobile agents by providing secure computing environments...
  • GMAC

  • Referenced in 1 article [sw06434]
  • GMAC: an overlay multicast network for mobile agent platforms The lack of proper support ... group communication services such as mobile software agents. Although they do not require high bandwidth ... approach for providing multicast services for mobile agent platforms in a decentralized way, where group ... services in a decentralized way to mobile software agent platforms with requirements similar to MoviLog...
  • WEBARM

  • Referenced in 1 article [sw02439]
  • WEBARM: Mobile code based agent for web application response measurement -- software implementations and analysis...
  • ViSiDiA

  • Referenced in 1 article [sw31241]
  • rewriting rules, mobile agents or moving sensors. Written in Java, ViSiDiA software contains an programmation...
  • ACVisualizer

  • Referenced in 1 article [sw00016]
  • calculus and its attraction to the mobile agents industry. The ability to provide instant demonstration ... software for APi-calculus, which provides such high level support for modeling mobile agent systems...
  • iJADE IWShopper

  • Referenced in 2 articles [sw24857]
  • increasing number of mobile e-commerce applications using WAP technology, intelligent agent-based systems becoming ... agent systems suffer various degrees of deficiency in terms of the provision of ’intelligent’ software ... comprehensive and intelligent-agent platform known as iJADE (intelligent Java Agent Development Environment ... implementation of ’Conscious Layer’), compact and highly mobile agent applications. From the implementation point...
  • ASITA

  • Referenced in 1 article [sw02557]
  • security aspects raised by agent systems, especially with mobile code and in an open environment ... providing a secure runtime environment. Software agents and their communities are given. An advanced security...
  • cdd

  • Referenced in 110 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 360 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 251 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 665 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PRISM

  • Referenced in 416 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • Impromptu

  • Referenced in 8 articles [sw01293]
  • Recent research advances in the field of reflective...
  • RELAX

  • Referenced in 6 articles [sw01328]
  • RELAX: A software platform for PDE interface relaxation...
  • GasTurbnLab

  • Referenced in 4 articles [sw01543]
  • GasTurbnLab: A multidisciplinary problem solving environment for gas...