1399 search results - page 114 / 280 » Verification of Test Suites |
146
Voted
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
Recent results of forgery detection by implementing biometric signature verification methods are promising. At present, forensic signature verification in daily casework is perfor...
152
Voted
ICECCS
1999
IEEE
15 years 9 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
147
Voted
ADG
2006
Springer
15 years 8 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
151
Voted
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
155
Voted
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...