Sciweavers

8056 search results - page 64 / 1612
» Object Behavior Analysis
Sort
View
106
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
Object-Oriented Specification and Open Distributed Systems
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...
Einar Broch Johnsen, Olaf Owe
111
Voted
COOTS
1996
15 years 3 months ago
The Object Group Design Pattern
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
Silvano Maffeis
97
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
Incremental Reasoning for Object Oriented Systems
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
Neelam Soundarajan, Stephen Fridella
SBIA
1998
Springer
15 years 6 months ago
Building Object-Agents from a Software Meta-Architecture
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
Analía Amandi, Ana Price
VRST
2006
ACM
15 years 8 months ago
Intuitively specifying object dynamics in virtual environments using VR-WISE
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...
Bram Pellens, Frederic Kleinermann, Olga De Troyer