5525 search results - page 177 / 1105 » Verification of Model Transformations |
141
Voted
JSW
2008
15 years 3 months ago
2008
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...
126
click to vote
JUCS
2008
15 years 3 months ago
2008
: In this work we present a strategy for off-line signature verification. It takes into account a writer-independent model which reduces the pattern recognition problem to a 2-clas...
174
Voted
GLVLSI
2009
IEEE
15 years 1 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
127
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...
239
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...