1362 search results - page 154 / 273 » Model Checking Large Network Protocol Implementations |
114
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
126
click to vote
ICNP
2003
IEEE
15 years 8 months ago
2003
IEEE
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
147
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
111
click to vote
CN
2004
15 years 3 months ago
2004
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the shortage of energetic resources in mobile devices. Leg...
101
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Existing anycast routing protocols solely route packets to the closest group member. In this paper, we introduce density-based anycast routing, a new anycast routing strategy p...