10263 search results - page 1942 / 2053 » From Use Cases to System Operation Specifications |
MBEES
2008
13 years 10 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
CLEF
2009
Springer
13 years 10 months ago
2009
Springer
This paper describes the baselines proposed for the ResPubliQA 2009 task. These baselines are purely based on information retrieval techniques. The selection of an adequate retrie...
CVGIP
2006
13 years 9 months ago
2006
This paper presents a system for rapid editing of highly dynamic motion capture data. At the heart of this system is an optimization algorithm that can transform the captured moti...
BMCBI
2005
13 years 8 months ago
2005
Background: Neoplastic transformation is a multistep process in which distinct gene products of specific cell regulatory pathways are involved at each stage. Identification of ove...
MOBIHOC
2010
ACM
13 years 6 months ago
2010
ACM
Intrusion detection is an important problem in sensor networks. Prior works in static sensor environments show that constructing sensor barriers with random sensor deployment can ...