Sciweavers

5128 search results - page 97 / 1026
» When Abstraction Fails
Sort
View
IAT
2006
IEEE
15 years 10 months ago
Empirical Analysis for Agent System Comprehension and Verification
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
IPPS
2006
IEEE
15 years 10 months ago
A proactive fault-detection mechanism in large-scale cluster systems
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...
Linping Wu, Dan Meng, Wen Gao, Jianfeng Zhan
IRI
2006
IEEE
15 years 10 months ago
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs
When a Constraint Satisfaction Problem (CSP) admits no solution, most current solvers express that the whole search space has been explored unsuccessfully but do not exhibit which...
Éric Grégoire, Bertrand Mazure, C&ea...
IROS
2006
IEEE
139views Robotics» more  IROS 2006»
15 years 10 months ago
Motion Synchronization in Mobile Robot Networks: Robustness
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...
Fei Zhang, Weidong Chen, Yugeng Xi
ISORC
2006
IEEE
15 years 10 months ago
Automated Logging of Mobile Phones Failures Data
The increasing complexity of mobile phones directly affects their reliability, while the user tolerance for failures becomes to decrease, especially when the phone is used for bus...
Paolo Ascione, Marcello Cinque, Domenico Cotroneo