Sciweavers

7167 search results - page 173 / 1434
» A Technique for Invariant Generation
Sort
View
USS
2010
15 years 5 months ago
Fighting Coercion Attacks in Key Generation using Skin Conductance
Many techniques have been proposed to generate keys including text passwords, graphical passwords, biometric data and etc. Most of these techniques are not resistant to coercion a...
Payas Gupta, Debin Gao
ICCV
2001
IEEE
16 years 9 months ago
Photometric Image-Based Rendering for Image Generation in Arbitrary Illumination
A Photometric Image-Based Rendering (PIBR) concept is proposed that facilitates the generation of an image with an arbitrary illumination. Based on this concept, we aim to generat...
Yasuhiro Mukaigawa, Hajime Miyaki, Sadahiko Mihash...
DSN
2002
IEEE
16 years 2 days ago
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
Markus Jochim
208
Voted
DAGSTUHL
2009
15 years 8 months ago
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
Nelly Bencomo, Gordon S. Blair
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 22 days ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner