1219 search results - page 127 / 244 » Verification of Equivalent-Results Methods |
109
click to vote
AVBPA
2001
Springer
15 years 8 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...
139
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
122
Voted
JIISIC
2008
15 years 4 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
153
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
132
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...