2686 search results - page 133 / 538 » Parallel object monitors |
103
click to vote
ECOOPW
2001
Springer
15 years 6 months ago
2001
Springer
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
150
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
122
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
136
click to vote
ISORC
1999
IEEE
15 years 6 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...
128
click to vote
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...