1362 search results - page 124 / 273 » Model Checking Large Network Protocol Implementations |
182
click to vote
SASN
2003
ACM
15 years 11 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. ...
152
click to vote
ICDCS
2006
IEEE
16 years 14 days 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...
163
click to vote
ECOWS
2006
Springer
15 years 10 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...
171
click to vote
KBSE
2003
IEEE
15 years 11 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...
179
click to vote
DATE
2005
IEEE
16 years 1 days 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...