2006 search results - page 202 / 402 » Testing with Respect to Concerns |
130
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
125
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
100
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper presents a robust, low-cost ADC code hit counting technique to record the number of times each ADC output code word appears with respect to the ramp input. Using a sm...
140
click to vote
FGR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents algorithms and a prototype system for hand tracking and hand posture recognition. Hand postures are represented in terms of hierarchies of multi-scale colour i...
131
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...