Sciweavers

8022 search results - page 53 / 1605
» Predictability in Critical Systems
Sort
View
HICSS
2005
IEEE
123views Biometrics» more  HICSS 2005»
15 years 9 months ago
Enterprise Architecting: Critical Problems
An enterprise architecture (EA) identifies the main components of the organization, its information systems, the ways in which these components work together in order to achieve d...
Stephen H. Kaisler, Frank Armour, Michael Valivull...
HASE
1998
IEEE
15 years 8 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
ICB
2007
Springer
106views Biometrics» more  ICB 2007»
15 years 10 months ago
Vitality Detection from Fingerprint Images: A Critical Survey
Although fingerprint verification systems reached a high degree of accuracy, it has been recently shown that they can be circumvented by “fake fingers”, namely, fingerprint ima...
Pietro Coli, Gian Luca Marcialis, Fabio Roli
ECRA
2010
114views more  ECRA 2010»
15 years 4 months ago
Social networks and mathematical models: A research commentary on "Critical Mass and Willingness to Pay for Social Networks" by
This brief research commentary on Westland's (2010) article in this issue of Electronic Commerce Research and Applications is intended to add two cautionary notes. He attempts...
Andrew M. Odlyzko
ICST
2009
IEEE
15 years 1 months ago
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Arnaud Gotlieb