329 search results - page 48 / 66 » Automatic Proofs for Scalecharts |
TSMC
2010
2010
Cancelable Templates for Sequence-Based Biometrics with Application to On-line Signature Recognition
13 years 4 months ago
Recent years have seen the rapid spread of biometric technologies for automatic people recognition. However, security and privacy issues still represent the main obstacles for the ...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
LICS
2012
IEEE
12 years 5 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...