Sciweavers

1890 search results - page 164 / 378
» Model-Based Testing in Practice
Sort
View
ISMAR
2009
IEEE
16 years 1 months ago
Evaluating the benefits of augmented reality for task localization in maintenance of an armored personnel carrier turret
We present the design, implementation, and user testing of a prototype augmented reality application to support military mechanics conducting routine maintenance tasks inside an a...
Steven J. Henderson, Steven Feiner
GECCO
2009
Springer
113views Optimization» more  GECCO 2009»
16 years 1 months ago
Environmental robustness in multi-agent teams
Evolution has proven to be an effective method of training heterogeneous multi-agent teams of autonomous agents to explore unknown environments. Autonomous, heterogeneous agents ...
Terence Soule, Robert B. Heckendorn
DSN
2008
IEEE
16 years 1 months ago
WS-DREAM: A distributed reliability assessment Mechanism for Web Services
It is critical to guarantee the reliability of serviceoriented applications. This is because they may employ remote Web Services as components, which may easily become unavailable...
Zibin Zheng, Michael R. Lyu
MEMOCODE
2007
IEEE
16 years 24 days ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...
SIGCSE
2006
ACM
131views Education» more  SIGCSE 2006»
16 years 14 days ago
An undergraduate course on software bug detection tools and techniques
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
Eric Larson