3082 search results - page 479 / 617 » Deviation Analysis: A New Use of Model Checking |
149
click to vote
AVSS
2007
IEEE
16 years 19 days ago
2007
IEEE
Traditional video scene analysis depends on accurate background modeling to identify salient foreground objects. However, in many important surveillance applications, saliency is ...
168
click to vote
ICMCS
2006
IEEE
16 years 10 days ago
2006
IEEE
The synthesis of facial expression with control of intensity and personal styles is important in intelligent and affective human-computer interaction, especially in face-to-face i...
276
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
145
click to vote
NDSS
2007
IEEE
16 years 17 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
174
click to vote
MMM
2010
Springer
15 years 8 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...