Sciweavers

4596 search results - page 242 / 920
» Mobile Business Processes
Sort
View
AGENTS
2000
Springer
15 years 11 months ago
Mobile Agents for Distributed Processing
Penny Noy, Michael Schroeder
ICDCSW
2000
IEEE
15 years 10 months ago
Secure Information Flow in Mobile Bootstrapping Process
Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 8 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi