194 search results - page 1 / 39 » A Group Structuring Mechanism for a Distributed Object-Orien... |
ICDCS
1994
IEEE
13 years 8 months ago
1994
IEEE
ECOOPW
2008
Springer
13 years 6 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
VLDB
1991
ACM
13 years 8 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
ISORC
2000
IEEE
13 years 9 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
ISORC
1999
IEEE
13 years 9 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...