1362 search results - page 87 / 273 » Model Checking Large Network Protocol Implementations |
125
Voted
MMS
2007
15 years 5 months ago
2007
Abstract: For evaluating dynamics of mobile ad-hoc networks at least three different layers have to be distinguished: the application layer, the protocol layer, and the network lay...
158
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
127
click to vote
CSREAEEE
2006
15 years 5 months ago
2006
This work is in the domain of Electronic Document Management (EDM) [1]. The documents can be an electronic writing, an image, a sound file, a network protocol message, a set of da...
141
Voted
PRDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
144
click to vote
FC
2006
Springer
15 years 7 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...