947 search results - page 175 / 190 » Provable Implementations of Security Protocols |
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
MOBICOM
2000
ACM
15 years 4 months ago
2000
ACM
We present the design and implementation of an end-to-end architecture for Internet host mobility using dynamic updates to the Domain Name System (DNS) to track host location. Exi...
112
click to vote
OOPSLA
1999
Springer
15 years 4 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
108
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
129
click to vote
FAST
2007
15 years 1 months ago
2007
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...