Sciweavers

4305 search results - page 351 / 861
» Analysing Protocol Implementations
Sort
View
151
Voted
SRDS
1999
IEEE
15 years 11 months ago
On Diffusing Updates in a Byzantine Environment
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...
Dahlia Malkhi, Yishay Mansour, Michael K. Reiter
CHI
1997
ACM
15 years 11 months ago
The Cognitive Ergonomics of Knowledge-Based Design Support Systems
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
Tamara Sumner, Nathalie Bonnardel, Benedikte Harst...
ESEC
1997
Springer
15 years 11 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
NETWORKING
2000
15 years 8 months ago
TCP/IP over the Bluetooth Wireless Ad-hoc Network
Bluetooth is a wireless ad-hoc network concept that was presented in February 1998 by its five original promoters Ericsson, Nokia, IBM, Toshiba and Intel. With Bluetooth, mobile te...
Niklas Johansson, Maria Kihl, Ulf Körner
GRIDNETS
2008
15 years 7 months ago
The Measurement and Modeling of a P2P Streaming Video Service
Most of the work on grid technology in the video area has been generally restricted to aspects of resource scheduling and replica management. The traffic of such a service has a lo...
Peng Gao, Tao Liu, Yanming Chen, Xingyao Wu, Yehia...