Sciweavers

8 search results - page 1 / 2
» podc 1996
Sort
View
PODC
1996
ACM
13 years 8 months ago
Self-Stabilization by Window Washing
Adam M. Costello, George Varghese
PODC
1996
ACM
13 years 8 months ago
Automated Logical Verification Based on Trace Abstractions
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
Nils Klarlund, Mogens Nielsen, Kim Sunesen
PODC
1996
ACM
13 years 8 months ago
Fundamental Challenges in Mobile Computing
This paper is an answer to the question: "What is unique and conceptually different about mobile computing?" The paper begins by describing a set of constraints intrinsi...
Mahadev Satyanarayanan
PODC
1996
ACM
13 years 8 months ago
Atomicity in Electronic Commerce
There is tremendous demand for the ability to be able to electronically buy and sell goods over networks. This field is called electronic commerce, and it has inspired a large var...
J. D. Tygar