4211 search results - page 134 / 843 » A formal approach to MASQ |
106
click to vote
COORDINATION
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
231
Voted
AMCS
2011
14 years 7 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
196
click to vote
FORTE
2011
14 years 4 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
103
click to vote
AAMAS
2004
Springer
15 years 21 days ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
POLICY
2004
Springer
15 years 6 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...