Sciweavers

1537 search results - page 108 / 308
» Deployment of Distributed Multi-agent Systems
Sort
View
TECS
2008
94views more  TECS 2008»
15 years 1 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
EUROSYS
2006
ACM
15 years 11 months ago
Using queries for distributed monitoring and forensics
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
Atul Singh, Petros Maniatis, Timothy Roscoe, Peter...
ATAL
2008
Springer
15 years 3 months ago
Engineering large-scale distributed auctions
The functional characteristics of market-based solutions are typically best observed through the medium of simulation, data-gathering and subsequent visualization. We previously d...
Peter Gradwell, Michel A. Oey, Reinier J. Timmer, ...
FAST
2009
14 years 11 months ago
PARDA: Proportional Allocation of Resources for Distributed Storage Access
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
Ajay Gulati, Irfan Ahmad, Carl A. Waldspurger