1415 search results - page 199 / 283 » Verified systems by composition from verified components |
SSWMC
2004
13 years 10 months ago
2004
Biometric authentication, i.e. verifying the claimed identity of a person based on physiological characteristics or behavioral traits, has the potential to contribute to both priv...
PDPTA
2003
13 years 10 months ago
2003
Common binary arithmetic operations such as addition/subtraction and multiplication suffer from O(n) carry propagation delay where n is the number of digits. Carry lookahead helps...
FIW
2009
13 years 6 months ago
2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
AIEDAM
2008
13 years 9 months ago
2008
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...