1362 search results - page 84 / 273 » Model Checking Large Network Protocol Implementations |
130
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Opportunistic augmentation denotes connecting a personal mobile device to another device to gain a transient advantage for the user. For example, a mobile phone user might borrow ...
176
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
141
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
106
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
115
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...