Sciweavers

7 search results - page 1 / 2
» Model-Based Testing of Electronic Passports
Sort
View
FMICS
2009
Springer
14 years 2 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
CSFW
2010
IEEE
13 years 10 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
ICBA
2004
Springer
143views Biometrics» more  ICBA 2004»
14 years 24 days ago
Externalized Fingerprint Matching
The 9/11 tragedy triggered an increased interest in biometric passports. According to several sources [2], the electronic ID market is expected to increase by more than 50% per ann...
Claude Barral, Jean-Sébastien Coron, David ...
GREC
2003
Springer
14 years 19 days ago
Model-Based Chart Image Recognition
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
Weihua Huang, Chew Lim Tan, Wee Kheng Leow
AOSD
2008
ACM
13 years 9 months ago
AspectT: aspect-oriented test case instantiation
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
Sebastian Benz