5 search results - page 1 / 1 » Formal modeling of synchronization methods for concurrent ob... |
SIGADA
1999
Springer
13 years 9 months ago
1999
Springer
SIGADA
1999
Springer
13 years 9 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
ADAEUROPE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
HICSS
2005
IEEE
13 years 10 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...