630 search results - page 116 / 126 » Causality based generation of directed test cases |
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
115
click to vote
TON
2010
14 years 4 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
JIRS
2010
14 years 8 months ago
2010
Abstract Localization is a key issue for a mobile robot, in particular in environments where a globally accurate positioning system, such as GPS, is not available. In these environ...
BIOINFORMATICS
2011
14 years 4 months ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
178
click to vote
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...