1499 search results - page 177 / 300 » A Software Architectural Approach to Security by Design |
159
click to vote
DRM
2007
Springer
16 years 16 days ago
2007
Springer
We present a new technique for generating biometric fingerprint hashes, or summaries of information contained in human fingerprints. Our method calculates and aggregates various...
159
click to vote
SPIN
2007
Springer
16 years 14 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
186
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
158
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
200
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...