3045 search results - page 367 / 609 » Formal Approaches to Software Architecture |
199
click to vote
IESA
2009
15 years 4 months ago
2009
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
173
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
183
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
217
click to vote
INTERACTION
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
137
click to vote
KBS
2007
15 years 6 months ago
2007
In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a...