1214 search results - page 208 / 243 » Network Processing of Mobile Agents, by Mobile Agents, for M... |
POPL
2000
ACM
14 years 13 hour ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
ECOOP
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
WOA
2003
13 years 9 months ago
2003
— Pervasive and ubiquitous computing is enabling the implementation of “smart environments”, i.e., environments where applications support and enhance the abilities of their ...
HCW
2000
IEEE
14 years 2 days ago
2000
IEEE
Management of large-scale parallel and distributed applications is an extremely complex task due to factors such as centralized management architectures, lack of coordination and ...