4096 search results - page 72 / 820 » An Object Model for Interoperable Systems |
183
click to vote
FMOODS
2003
15 years 7 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
152
click to vote
ICTAI
1993
IEEE
15 years 10 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
167
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...
163
click to vote
FMICS
2007
Springer
16 years 10 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
174
click to vote
AAI
2000
15 years 6 months ago
2000
: This paper describes how ADEPT's agent-based design and implementation philosophy was used to prototype a business process management system for a real-world application. Th...