663 search results - page 107 / 133 » Process Algebra with Local Communication |
ISCC
2006
IEEE
2006
IEEE
Time-Critical Underwater Sensor Diffusion with No Proactive Exchanges and Negligible Reactive Floods
14 years 1 months ago
— In this paper we study multi-hop ad hoc routing in a scalable Underwater Sensor Network (UWSN), which is a novel network paradigm for ad hoc investigation of the world below th...
TASE
2012
IEEE
12 years 3 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
ENTCS
2008
13 years 7 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
TPDS
2008
13 years 7 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...