Sciweavers

1092 search results - page 106 / 219
» Automated Evaluation of Coordination Approaches
Sort
View
SAC
2008
ACM
15 years 5 months ago
Model-driven development of component-based adaptive distributed applications
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
An Phung-Khac, Antoine Beugnard, Jean-Marie Gillio...
SIGSOFT
2005
ACM
16 years 7 months ago
SOBER: statistical model-based bug localization
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
Chao Liu 0001, Jiawei Han, Long Fei, Samuel P. Mid...
ECSQARU
2007
Springer
16 years 16 days ago
Arguing over Actions That Involve Multiple Criteria: A Critical Review
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
Wassila Ouerdane, Nicolas Maudet, Alexis Tsouki&ag...
IJCV
2012
13 years 8 months ago
Viewpoint Selection for Human Actions
In many scenarios a scene is filmed by multiple video cameras located at different viewing positions. The difficulty in watching multiple views simultaneously raises an immediate...
Dmitry Rudoy, Lihi Zelnik-Manor
QEST
2007
IEEE
16 years 19 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns