Sciweavers

249 search results - page 17 / 50
» P Systems with Adjoining Controlled Communication Rules
Sort
View
DSN
2000
IEEE
14 years 2 days ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
ICC
2009
IEEE
154views Communications» more  ICC 2009»
14 years 2 months ago
Load Balancing vs. Distributed Rate Limiting: An Unifying Framework for Cloud Control
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...
Rade Stanojevic, Robert Shorten
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 7 months ago
Discrete Partitioning and Coverage Control for Gossiping Robots
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
Joseph W. Durham, Ruggero Carli, Paolo Frasca, Fra...
NOSSDAV
2009
Springer
14 years 2 months ago
Providing statistically guaranteed streaming quality for peer-to-peer live streaming
Most of the literature on peer-to-peer (P2P) live streaming focuses on how to provide best-effort streaming quality by efficiently using the system bandwidth; however, there is n...
Miao Wang, Lisong Xu, Byrav Ramamurthy
INFOCOM
2007
IEEE
14 years 2 months ago
Ranking-Based Optimal Resource Allocation in Peer-to-Peer Networks
—This paper presents a theoretic framework of optimal resource allocation and admission control for peer-topeer networks. Peer’s behavioral rankings are incorporated into the r...
Yonghe Yan, Adel El-Atawy, Ehab Al-Shaer