144227 search results - page 219 / 28846 » Using |
208
click to vote
FATES
2003
Springer
16 years 14 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
219
click to vote
GW
2003
Springer
16 years 14 days ago
2003
Springer
The interactive game environment, Ghost in the Cave, presented in this short paper, is a work still in progress. The game involves participants in an activity using non-verbal emot...
183
click to vote
ECCV
2010
Springer
16 years 13 days ago
2010
Springer
Bourdev and Malik (ICCV 09) introduced a new notion of parts, poselets, constructed to be tightly clustered both in the configuration space of keypoints, as well as in the appeara...
189
click to vote
DATE
2010
IEEE
16 years 10 days ago
2010
IEEE
— The use of dynamic voltage and frequency scaling (DVFS) in contemporary multicores provides significant protection from unpredictable thermal events. A side effect of DVFS can ...
206
click to vote
APSEC
2002
IEEE
16 years 7 days ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...