2243 search results - page 140 / 449 » Contracts for Mobile Processes |
142
click to vote
RTCSA
2009
IEEE
15 years 10 months ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...
169
click to vote
GIS
2008
ACM
15 years 5 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...
131
click to vote
ENTCS
2006
15 years 4 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...
128
click to vote
IANDC
2006
15 years 4 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...
139
click to vote
IFIP
2004
Springer
15 years 9 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 ...