1179 search results - page 186 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
106
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
149
click to vote
WADS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
121
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
134
click to vote
ICWSM
2009
14 years 11 months ago
2009
Whether they are modeling bookmarking behavior in Flickr or cascades of failure in large networks, models of diffusion often start with the assumption that a few nodes start long ...
123
click to vote
VRML
2003
ACM
15 years 7 months ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...