8154 search results - page 388 / 1631 » Understanding changes in use cases: A case study |
176
Voted
STTT
2008
15 years 6 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
146
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
159
click to vote
FORMATS
2007
Springer
16 years 29 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
185
click to vote
SENSYS
2003
ACM
16 years 1 days ago
2003
ACM
Sensor networks not only have the potential to change the way we use, interact with, and view computers, but also the way we use, interact with, and view the world around us. In o...
224
Voted
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Monitoring activities using video data is an important surveillance problem. A special scenario is to learn the pattern of normal activities and detect abnormal events from a very...