• KLAIM

  • Referenced in 69 articles [sw09424]
  • examples, we show that many mobile code programming paradigms can be naturally implemented...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • system to certify that an untrusted mobile code is safe w.r.t. the given policy ... abstraction-carrying code approach to mobile code safety...
  • Klava

  • Referenced in 19 articles [sw01243]
  • programming languages that exploit the mobility paradigm as a basic interaction mechanism. In this paper ... Java package for distributed applications and code mobility. We describe how KLAVA permits code mobility ... distributed applications that exploit mobile code programmed in KLAVA...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • SafeDpi: A language for controlling mobile code safeDpi is a distributed version of the Picalculus...
  • XPi

  • Referenced in 6 articles [sw09430]
  • asynchronous communication, pattern matching, name and code mobility, integration of static and dynamic typing...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • Mobility), to permit interleaving of meta-programming activities (such as assembly and linking of code ... network (such as remote communication and code mobility). MetaKlaim exploits a powerful type system (including ... system F) to deal with highly parameterised mobile components and to enforce security policies dynamically ... types are metadata that are extracted from code at run-time and are used...
  • Grail

  • Referenced in 5 articles [sw26751]
  • Grail: a functional form for imperative mobile code. In the novel ... Mobile Resource Guarantees project, where Grail serves as proof-carrying code to provide assurances...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • coordination language for mobile processes that communicate and exchange object-oriented code in a distributed ... code by using mixin-based inheritance. Mobile code is compiled and typed locally...
  • Reo

  • Referenced in 81 articles [sw06353]
  • services based on the notion of mobile channels. Reo enforces an exogenous channel-based coordination ... designers can use Reo as a ”glue code” language for compositional construction of connectors that...
  • ProMoVer

  • Referenced in 4 articles [sw06738]
  • verified in the presence of code evolution, multiple method implementations (as arising from software product ... even unknown method implementations (as in mobile code for open platforms). ProMoVer automates a typical...
  • AnZenMail

  • Referenced in 3 articles [sw06211]
  • verified in Coq mostly at the source code level by manually translating Java methods into ... support for secure execution of mobile code arriving as e-mail attachments. It has plug...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • With help of Dynamics one can create mobile expressions, which can be passed to other ... time. Typically, 30% of the code of an application is needed for storing (converting data...
  • XMILE

  • Referenced in 2 articles [sw02315]
  • based approach for incremental code mobility and update. The eXtensible Markup Language (XML) was originally ... such as XPL, that are used for coding executable algorithms, policies or scripts. XML-related ... XMILE in the domain of code updates on mobile devices...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • sending a text message on a mobile phone) executed by the program. When performing cost ... later analyses, etc. COSTA can analyze code for both Java SE and Java ... particular for the MIDP profile for mobile phones...
  • WEBARM

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

  • Referenced in 1 article [sw14207]
  • programming language extended with primitives for mobile code and remote procedure calls, two distinguishing features...
  • ASITA

  • Referenced in 1 article [sw02557]
  • raised by agent systems, especially with mobile code and in an open environment...
  • Succinct

  • Referenced in 5 articles [sw09703]
  • Java Card byte-code, access control features of Mobile and Discretionary Ambients, and validation...
  • HYTEC

  • Referenced in 8 articles [sw11520]
  • paper introduces HYTEC, a coupled reactive transport code currently used for groundwater pollution studies, safety ... migration of mobile matter (ions, organics, colloids) subject to geochemical reactions. The code forms part...
  • JikesRVM

  • Referenced in 4 articles [sw01997]
  • Mobile JikesRVM: A framework to support transparent Java thread migration Today’s complex applications must ... face the distribution of data and code among different network nodes. Computation in distributed contexts ... paper presents our thread migration framework (called Mobile JikesRVM), implemented ... implemented Mobile JikesRVM without recompiling its JVM (Java Virtual Machine) source code, but simply extending...