2870 search results - page 405 / 574 » Synchronization of multi-agent systems |
158
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
127
click to vote
SIGMOD
1995
ACM
15 years 8 months ago
1995
ACM
A number of execution strategies for parallel evaluation of multi-join queries have been proposed in the literature; their performance was evaluated by simulation. In this paper w...
143
click to vote
ARTCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we attempt to maximize the efficiency of the parallel Apriori Algorithm. The paper analyzes the performance of the algorithm over different datasets and over n proce...
169
click to vote
FMOODS
2007
15 years 5 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
139
click to vote
ECSCW
2001
15 years 5 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...