• tKlaim

  • Referenced in 8 articles [sw10023]
  • main features of Klaim (process distribution and mobility, remote and asynchronous communication through distributed data...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • controlling mobile code safeDpi is a distributed version of the Picalculus, in which processes...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • mobile processes that communicate and exchange object-oriented code in a distributed context. MOMI ... idea is structuring mobile object-oriented code by using mixin-based inheritance. Mobile code...
  • occam-pi

  • Referenced in 7 articles [sw07145]
  • current benchmark results. Application techniques exploiting mobile processes for the direct modelling of large-scale ... modelling of locality (so that free-ranging processes can locate each other). Run-time overheads ... comprising millions of dynamically assembling and communicating processes are practical on modest processor resources ... address larger systems of arbitrary complexity, distributed over multiple processors with no semantic discontinuity. Semantic...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • MetaKlaim, which is a higher order distributed process calculus equipped with staging mechanisms. MetaKlaim integrates ... Kernel Language for Agents Interaction and Mobility), to permit interleaving of meta-programming activities (such...
  • GcPan

  • Referenced in 3 articles [sw22677]
  • with respect to typed SA processes. We describe a distributed implementation of the abstract machine ... optimisations in implementations of distributed languages encompassing mobility...
  • Node.js

  • Referenced in 14 articles [sw15665]
  • social web era. The paper describes a distributed architecture, suitable for modern web application development ... proxy static file requests, allowing the Node.js processes to only handle dynamic content. Such ... highly productive, especially when addressing stationary and mobile devices, as well as the fragmentation among...
  • JCML

  • Referenced in 2 articles [sw06406]
  • devices with severe storage and processing restrictions. The applets that run on these devices ... intended for use in critical, highly distributed, mobile conditions. They are required to be portable...
  • MDBAS

  • Referenced in 1 article [sw02430]
  • possibilities in developing distributed applications. We used mobile agents for building a prototype ... system integrates a set of autonomous databases distributed over a network, enables users to create ... manages transparent distributed execution of users’ requests and procedures including distributed transactions. Developing the system ... implemented a dynamic optimization algorithm for distributed query processing. Additionally, a unique feature of MDBAS...
  • FDAN

  • Referenced in 1 article [sw02083]
  • work deals with fault tolerance in distributed MANET (Mobile Ad hoc Networks) systems. However ... allow to the system to launch recovery process. For this effect, our protocol, called FDAN...
  • ANSYS

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • 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...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • 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...