5525 search results - page 17 / 1105 » Verification of Model Transformations |
ICWE
2007
Springer
15 years 3 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
AVBPA
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we propose an algorithm that can easily be implemented on small form factor devices to perform illumination normalization in face images captured under vari...
113
click to vote
GLVLSI
2002
IEEE
15 years 2 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...