690 search results - page 68 / 138 » Testing Temporal Logic Properties in Distributed Systems |
112
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
132
click to vote
AMAI
2004
Springer
15 years 14 days ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
108
Voted
IJAOSE
2010
14 years 10 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
156
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
GCC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...