963 search results - page 8 / 193 » Types for Mobile Ambients |
ENTCS
2002
13 years 8 months ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
IFIPTCS
2000
14 years 5 days ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
PERVASIVE
2007
Springer
14 years 2 months ago
2007
Springer
With the advance of pervasive technology, information from both the physical and virtual world is increasingly accessible to developers. Context -aware applications may consume re...
DAGSTUHL
2006
13 years 10 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Mobile phones represent not only a means of communication, but an increasingly omnipresent computing platform, enabling diverse modes of communication including ambient displays t...