1302 search results - page 30 / 261 » Soundness in the Public-Key Model |
158
click to vote
ECOWS
2008
Springer
15 years 3 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
TCS
2008
15 years 1 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
127
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes a method for separating the signals of individual musical instruments from monaural musical audio. The mixture signal is modeled as a sum of the spectra of ind...
118
click to vote
ACL
1997
15 years 3 months ago
1997
We present and experimentally evaluate a new model of pronunciation by analogy: the paradigmatic cascades model. Given a pronunciation lexicon, this algorithm first extracts the m...
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...