1362 search results - page 146 / 273 » Model Checking Large Network Protocol Implementations |
138
click to vote
JPDC
2000
15 years 3 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...
114
click to vote
ICDCIT
2005
Springer
15 years 9 months ago
2005
Springer
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
121
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
—Data caching can significantly improve the efficiency of information access in a wireless ad hoc network by reducing the access latency and bandwidth usage. However, designing e...
156
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Extracting planar graph from network topologies is of great importance for efficient protocol design in wireless ad hoc and sensor networks. Previous techniques of planar topol...
154
click to vote
TON
2010
14 years 10 months ago
2010
Aggregate traffic loads and topology in multi-hop wireless networks may vary slowly, permitting MAC protocols to `learn' how to spatially coordinate and adapt contention patte...