Sciweavers

963 search results - page 18 / 193
» Types for Mobile Ambients
Sort
View
FOSSACS
1999
Springer
14 years 27 days ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli
SAS
1999
Springer
107views Formal Methods» more  SAS 1999»
14 years 27 days ago
Abstract Interpretation of Mobile Ambients
René Rydhof Hansen, Jacob Grydholt Jensen, ...
FOSSACS
1998
Springer
14 years 26 days ago
Mobile Ambients
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
Luca Cardelli, Andrew D. Gordon
PERVASIVE
2007
Springer
14 years 2 months ago
Explorations and Experiences with Ambient Information Systems
We have developed a series of ambient information systems and used each in our research lab for extended periods of time. The systems use technologies such as RFID, RSS, and Phidg...
John T. Stasko, Myungcheol Doo, Brian Dorn, Christ...