1362 search results - page 91 / 273 » Model Checking Large Network Protocol Implementations |
167
click to vote
CN
2004
15 years 3 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
201
click to vote
LBM
2007
15 years 5 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
124
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
110
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Signaling protocols for GMPLS networks have been standardized and implemented in switch controllers. Most switch vendors allow for signaling messages to be carried over inband s...
145
click to vote
HIPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper investigates the problem of autonomously allocating a large number of independent, equal sized tasks on a distributed heterogeneous grid-like platform, using o...