2870 search results - page 244 / 574 » Synchronization of multi-agent systems |
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
SSS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
103
click to vote
GROUP
1997
ACM
15 years 5 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
111
click to vote
CLUSTER
2008
IEEE
15 years 1 months ago
2008
IEEE
We investigate operating system noise, which we identify as one of the main reasons for a lack of synchronicity in parallel applications. Using a microbenchmark, we measure the no...
ENTCS
2007
15 years 28 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...