1302 search results - page 114 / 261 » Soundness in the Public-Key Model |
153
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
157
click to vote
AAAI
2006
15 years 8 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
168
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we propose a novel area of research referred to as singing information processing. To shape the concept of this area, we first introduce singing understanding syst...
148
click to vote
ICDE
2006
IEEE
16 years 17 days ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
153
click to vote
ISCAS
2005
IEEE
16 years 3 days ago
2005
IEEE
— The dorsal nucleus of the lateral lemniscus (DNLL) is a distinct group of auditory cells that play a strategic role in azimuthal echolocation in the bat. Dominated by EI-type c...