741 search results - page 6 / 149 » Programming with Live Distributed Objects |
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
PODC
1994
ACM
13 years 11 months ago
1994
ACM
PODC
2003
ACM
14 years 25 days ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
PDP
1996
IEEE
13 years 11 months ago
1996
IEEE
ICALP
1994
Springer
13 years 11 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...