663 search results - page 49 / 133 » Process Algebra with Local Communication |
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
RTSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Wireless sensor networks (WSNs) have become an increasingly compelling platform for Structural Health Monitoring (SHM) applications, since they can be installed relatively inexpen...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
ICCCN
1997
IEEE
14 years 2 months ago
1997
IEEE
We present UDP datagram demultiplexing techniques that can yield potentially substantial applicationindependent performance gains over BSD-derived UDP implementations. Our demulti...
MSWIM
2003
ACM
14 years 3 months ago
2003
ACM
Errors introduced by a wireless medium are more frequent and profound than contemporary wired media. Some of these errors, which are not corrected by the physical layer, result in...