Sciweavers

1362 search results - page 94 / 273
» Model Checking Large Network Protocol Implementations
Sort
View
122
Voted
PRDC
2006
IEEE
15 years 9 months ago
A Pragmatic Protocol for Database Replication in Interconnected Clusters
Multi-master update everywhere database replication, as achieved by protocols based on group communication such as DBSM and Postgres-R, addresses both performance and availability...
J. Grov, L. Soares, Alfrânio Correia Jr., Jo...
NETWORKING
2004
15 years 5 months ago
On the Feasibility of Integrated MPEG Teleconference and Data Transmission, over IEEE 802.11 WLANs
The most widespread Wireless Local Area Networks (WLANs) are based today on the IEEE 802.11 standard and its various versions, especially the IEEE 802.11b. In this article we first...
Ioannis Broustis, Michael Paterakis
SIGCOMM
2009
ACM
15 years 10 months ago
PLUG: flexible lookup modules for rapid deployment of new protocols in high-speed routers
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
Lorenzo De Carli, Yi Pan, Amit Kumar, Cristian Est...
ICNP
2009
IEEE
15 years 10 months ago
ESC: Energy Synchronized Communication in Sustainable Sensor Networks
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
Yu Gu, Ting Zhu, Tian He
INFOCOM
2000
IEEE
15 years 8 months ago
RMX: Reliable Multicast for Heterogeneous Networks
—Although IP Multicast is an effective network primitive for best-effort, large-scale, multi-point communication, many multicast applications such as shared whiteboards, multi-pl...
Yatin Chawathe, Steven McCanne, Eric A. Brewer