4305 search results - page 205 / 861 » Analysing Protocol Implementations |
SPIN
2010
Springer
13 years 7 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...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract--We present Starburst, a routing-based protocol designed to efficiently disseminate data items to small subsets within a sensor network. Starburst constructs a routing hie...
SCN
2011
Springer
13 years 4 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Snoopy cache coherence protocols broadcast requests to all nodes, reducing the latency of cache to cache transfer misses at the expense of increasing interconnect power. We propos...