Sciweavers

1317 search results - page 102 / 264
» context 2005
Sort
View
SOSP
2005
ACM
14 years 5 months ago
Labels and event processes in the Asbestos operating system
ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...
Petros Efstathopoulos, Maxwell N. Krohn, Steve Van...
ICASSP
2008
IEEE
14 years 3 months ago
Adaptive score normalization for progressive model adaptation in text independent speaker verification
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...
Shou-Chun Yin, Richard Rose, Patrick Kenny
ICMI
2007
Springer
118views Biometrics» more  ICMI 2007»
14 years 3 months ago
Simultaneous prediction of dialog acts and address types in three-party conversations
This paper reports on automatic prediction of dialog acts and address types in three-party conversations. Dialogue acts and address types are predicted simultaneously on our frame...
Yosuke Matsusaka, Mika Enomoto, Yasuharu Den
ACSAC
2005
IEEE
14 years 2 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
14 years 2 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka