Sciweavers

8056 search results - page 64 / 1612
» Object Behavior Analysis
Sort
View
BIRTHDAY
2004
Springer
14 years 23 days 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
COOTS
1996
13 years 10 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
BIRTHDAY
2004
Springer
14 years 2 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
14 years 1 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
14 years 3 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