492 search results - page 25 / 99 » Automating software feature verification |
CAIP
2009
Springer
14 years 1 months ago
2009
Springer
This paper investigates a new automated personal authentication technique using finger-knuckle-print (FKP) imaging. First, a specific data acquisition device is developed to captur...
EMSOFT
2001
Springer
13 years 11 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
ICNS
2009
IEEE
14 years 1 months ago
2009
IEEE
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
DAWAK
2007
Springer
14 years 29 days ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...