2896 search results - page 268 / 580 » Curricula Modeling and Checking |
180
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
174
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
168
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
159
Voted
IPCCC
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
170
click to vote
DSD
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...