382 search results - page 3 / 77 » Rule-based static analysis of network protocol implementatio... |
144
click to vote
JCM
2006
15 years 4 months ago
2006
In this paper, we propose and analyze a multicast application called SOMA (SynchrOnous Multicast Application) which offers multicast file transfer service in an asymmetric intra-ca...
133
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...
195
click to vote
FGCN
2008
IEEE
15 years 11 months ago
2008
IEEE
The proposed broadcast authentication protocols for wireless sensor networks can be divided into two categories: protocols based on digital signature and protocols based on improv...
139
Voted
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
170
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Location services are essential to many applications running on a hybrid of wirelessly-networked mobile actors and static sensors, such as surveillance systems and the Pursuer and...