9518 search results - page 434 / 1904 » On Mobility of Software Processes |
254
Voted
GIS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...
189
click to vote
ENTCS
2006
15 years 7 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
157
click to vote
JOT
2007
15 years 7 months ago
2007
Nothing does a software company’s reputation more harm than poor quality. One significant contributor to delivered quality is how thoroughly the software is tested. In this issu...
198
click to vote
IANDC
2006
15 years 7 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
220
click to vote
IFIP
2004
Springer
16 years 1 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...