148 search results - page 4 / 30 » Living it up with a live programming language |
SIGADA
1998
Springer
14 years 19 days ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
DOCENG
2006
ACM
14 years 2 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
MOBILITY
2009
ACM
14 years 1 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
ECOOP
2001
Springer
14 years 28 days ago
2001
Springer
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
ICALP
1994
Springer
14 years 16 days 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...