Sciweavers

2020 search results - page 66 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
149
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
On the Market Power of Network Coding in P2P Content Distribution Systems
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
Xinyu Zhang, Baochun Li
146
Voted
ICRA
2007
IEEE
129views Robotics» more  ICRA 2007»
15 years 9 months ago
Robust Distributed Coverage using a Swarm of Miniature Robots
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
Nikolaus Correll, Alcherio Martinoli
121
Voted
FMCAD
2000
Springer
15 years 6 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
200
Voted
COOPIS
2004
IEEE
15 years 6 months ago
Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
Praveen Kaushik Sharma, Joseph P. Loyall, George T...
94
Voted
ADC
2007
Springer
93views Database» more  ADC 2007»
15 years 6 months ago
A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
Hui Ma, Klaus-Dieter Schewe, Qing Wang