93 search results - page 14 / 19 » Formal Models for Architecture Aspects and Their Weaving |
WADT
1999
Springer
15 years 1 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
75
Voted
EWSA
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
116
click to vote
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
75
Voted
PROMAS
2005
Springer
15 years 2 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
SAC
2004
ACM
15 years 2 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...