Sciweavers

355 search results - page 29 / 71
» An MDA-Based Approach for Inferring Concurrency in Distribut...
Sort
View
SIGMETRICS
2005
ACM
127views Hardware» more  SIGMETRICS 2005»
15 years 5 months ago
A data streaming algorithm for estimating subpopulation flow size distribution
Statistical information about the flow sizes in the traffic passing through a network link helps a network operator to characterize network resource usage, infer traffic demands,...
Abhishek Kumar, Minho Sung, Jun Xu, Ellen W. Zegur...
HASE
1997
IEEE
15 years 4 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
ATAL
2009
Springer
15 years 6 months ago
Reasoning intra-dependency in commitments for robust scheduling
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Che...
ATAL
2008
Springer
15 years 1 months ago
Supervision and diagnosis of joint actions in multi-agent plans
The paper formalizes a distributed approach to the problem of supervising the execution of a multi-agent plan where (possibly joint) actions are executed concurrently by a team of...
Roberto Micalizio, Pietro Torasso
JLP
2008
134views more  JLP 2008»
14 years 11 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu