2020 search results - page 82 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
130
click to vote
DSRT
2003
IEEE
15 years 8 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
116
Voted
WICSA
2004
15 years 4 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
112
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
126
Voted
AI
2000
Springer
15 years 2 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
122
Voted
SAC
1998
ACM
15 years 6 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...