3799 search results - page 573 / 760 » An Engineering Approach to Formal Methods |
170
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...
173
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. In this work, we introduce a model-based approach to extracting the silhouette of people in motion from stereo video sequences. To this end, we extend a purely stereo-bas...
178
click to vote
FSTTCS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
171
click to vote
TCAD
2010
15 years 1 months ago
2010
The last decade has witnessed the emergence of the application-specific instruction-set processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user ...
164
click to vote
SCAM
2008
IEEE
16 years 19 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...