1722 search results - page 91 / 345 » Ontology Formalism Transformation |
112
click to vote
ENTCS
2006
15 years 21 days ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
126
click to vote
WCRE
1995
IEEE
15 years 4 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
Despite the recent advances in distributed MDP frameworks for reasoning about multiagent teams, these frameworks mostly do not reason about resource constraints, a crucial issue i...
ENTCS
2006
15 years 21 days ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...