1362 search results - page 124 / 273 » Model Checking Large Network Protocol Implementations |
138
Voted
SASN
2003
ACM
15 years 8 months ago
2003
ACM
We present a security design for a general purpose, selforganizing, multihop ad hoc wireless network, based on the IEEE 802.15.4 low-rate wireless personal area network standard. ...
118
Voted
ICDCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we explore a new form of dissemination called Flash Dissemination that involves dissemination of fixed, rich information to a large number of recipients in as shor...
129
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
134
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
131
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...