Sciweavers

2813 search results - page 367 / 563
» Formalizing Architectural Connection
Sort
View
PTS
2007
99views Hardware» more  PTS 2007»
15 years 8 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
AAAI
2004
15 years 8 months ago
Affective Recruitment of Distributed Heterogeneous Agents
Members of multi-robot teams may need to collaborate to accomplish a task due to differences in capabilities. This paper describes an extension of the ALLIANCE architecture that e...
Aaron Gage, Robin R. Murphy
DAGSTUHL
2004
15 years 8 months ago
Multi-Domain Integration with MOF and extended Triple Graph Grammars
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
Alexander Königs, Andy Schürr
CSREAEEE
2006
129views Business» more  CSREAEEE 2006»
15 years 8 months ago
Computer Science Exercises in a Virtual University
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
Manfred Widera, Barbara Messing, Gabriele Kern-Isb...
EFDBS
2003
15 years 8 months ago
Building platforms for information system interoperability - using a UML-based metamodeling approach
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...