Sciweavers

97 search results - page 3 / 20
» Ambient Groups and Mobility Types
Sort
View
IFIP
2004
Springer
14 years 1 months ago
Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
MSCS
2008
93views more  MSCS 2008»
13 years 8 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
MDM
2007
Springer
123views Communications» more  MDM 2007»
14 years 2 months ago
Group Anti-Entropy - Achieving Eventual Consistency in Mobile Service Environments
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
Klaus Herrmann
ESOP
2001
Springer
14 years 1 months ago
What Are Polymorphically-Typed Ambients?
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
Torben Amtoft, A. J. Kfoury, Santiago M. Peric&aac...
LISP
2008
101views more  LISP 2008»
13 years 8 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft