2935 search results - page 164 / 587 » An Integrated Approach to High Integrity Software Verificati... |
235
click to vote
SCN
2011
Springer
15 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
152
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
191
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We address the problem of vision-based multiperson tracking in busy pedestrian zones using a stereo rig mounted on a mobile platform. Specifically, we are interested i...
136
click to vote
KBSE
2008
IEEE
16 years 28 days ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
165
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...