Sciweavers

4044 search results - page 537 / 809
» The Evolution of a Distributed Operating System
Sort
View
EDOC
2004
IEEE
15 years 7 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
PODC
2011
ACM
14 years 6 months ago
The complexity of robust atomic storage
We study the time-complexity of robust atomic read/write storage from fault-prone storage components in asynchronous message-passing systems. Robustness here means wait-free tolera...
Dan Dobre, Rachid Guerraoui, Matthias Majuntke, Ne...
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 10 months ago
Synchronization of Single-Frequency Simulcast Networks Using Network Time Protocol
 Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...
Stefano Bregni, Luciano Lacavalla, Bruno Propersi,...
ACSAC
2005
IEEE
15 years 9 months ago
TARP: Ticket-based Address Resolution Protocol
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...
Wesam Lootah, William Enck, Patrick McDaniel
CONCUR
2005
Springer
15 years 9 months ago
SOS for Higher Order Processes
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. R...