133 search results - page 1 / 27 » Object-Oriented Specification and Open Distributed Systems |
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
SC
1995
ACM
14 years 2 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
ECOOPW
2000
Springer
14 years 2 months ago
2000
Springer
IJSEKE
1998
13 years 10 months ago
1998
Effective fault-handling in emerging complex distributed applications requires the ability to dynamically adapt resource allocation and faulttolerance policies in response to poss...
CSMR
2008
IEEE
14 years 20 days ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...