133 search results - page 1 / 27 » Object-Oriented Specification and Open Distributed Systems |
BIRTHDAY
2004
Springer
13 years 11 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
13 years 11 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
13 years 11 months ago
2000
Springer
IJSEKE
1998
13 years 7 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
13 years 9 months 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...