Sciweavers

4096 search results - page 72 / 820
» An Object Model for Interoperable Systems
Sort
View
155
Voted
FMOODS
2003
15 years 5 months ago
Towards Object-Oriented Graphs and Grammars
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...
Ana Paula Lüdtke Ferreira, Leila Ribeiro
129
Voted
ICTAI
1993
IEEE
15 years 7 months ago
Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
Jérôme Gensel, Pierre Girard, Olivier...
139
Voted
ECTEL
2006
Springer
15 years 7 months ago
Data and Application Integration in Learning Content Management Systems: A Web Services Approach
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...
Ivan Madjarov, Omar Boucelma
130
Voted
FMICS
2007
Springer
15 years 9 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
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...
Sören Preibusch, Florian Kammüller
135
Voted
AAI
2000
182views more  AAI 2000»
15 years 3 months ago
Implementing a Business Process Management System Using ADEPT: A Real-World Case Study
: 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...
Nicholas R. Jennings, Peyman Faratin, Timothy J. N...