9702 search results - page 68 / 1941 » Communicating Mobile Processes |
129
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
156
click to vote
CLUSTER
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a framework for building and deploying protocols for migrating mobile agents over the Internet. The framework enables network protocols for agent migration to b...
129
Voted
HUC
2007
Springer
15 years 7 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
122
Voted
ENTCS
2006
15 years 3 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
153
Voted
SAC
1999
ACM
15 years 8 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...