7064 search results - page 1282 / 1413 » From States to Histories |
218
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
384
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We propose a novel approach for modelling correlations
between activities in a busy public space captured by multiple
non-overlapping and uncalibrated cameras. In our approach,
...
211
click to vote
AAMAS
2012
Springer
14 years 2 months ago
2012
Springer
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
233
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Phase change memory (PCM) recently has emerged as a promising technology to meet the fast growing demand for large capacity memory in modern computer systems. In particular, multi...
218
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...