Sciweavers

5472 search results - page 61 / 1095
» Stochastic Mechanism Design
Sort
View
118
Voted
SIGMETRICS
2010
ACM
223views Hardware» more  SIGMETRICS 2010»
15 years 8 months ago
Self-synchronizing properties of CSMA wireless multi-hop networks
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...
Kuang Xu, Olivier Dousse, Patrick Thiran
WCNC
2010
IEEE
15 years 7 months ago
Dynamic Control of Data Ferries under Partial Observations
—Controlled mobile helper nodes called data ferries have recently been proposed to bridge communications between disconnected nodes in a delay-tolerant manner. While existing wor...
Chi Harold Liu, Ting He, Kang-won Lee, Kin K. Leun...
AAMAS
2007
Springer
15 years 4 months ago
Mechanisms for environments in multi-agent systems: Survey and opportunities
The environment has been recognized as an explicit and exploitable element to design Multi-Agent Systems (MAS). It can be assigned a number of responsibilities that would be more d...
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinic...
117
Voted
CMSB
2007
Springer
15 years 7 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli
TSMC
2008
113views more  TSMC 2008»
15 years 3 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley