164 search results - page 19 / 33 » A Hybrid Type System for Lock-Freedom of Mobile Processes |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Finding a destination in unfamiliar environments of complex office building or shopping mall has been always bothering us in daily life. Fine-scale directional guidance, a combina...
CL
2002
Springer
13 years 7 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
PPDP
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
CASES
2010
ACM
13 years 5 months ago
2010
ACM
Mobile computing platforms in the form of smart phones, netbooks, and personal digital assistants have become an integral part of our everyday lives. Moving ahead to the future, m...