Sciweavers

4445 search results - page 233 / 889
» Reflective Authorization Systems
Sort
View
ICWL
2009
Springer
15 years 10 months ago
Applying a Web and Simulation-Based System for Adaptive Competence Assessment of Spinal Anaesthesia
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
Cord Hockemeyer, Alexander Nussbaumer, Erik Lö...
MOBICOM
2000
ACM
15 years 10 months ago
W-mail: an electronic mail system for wearable computing environments
This paper describes an e-mail system for wearable computing environments. In this system, we extend the conventional mail format and the server/client(browser) architecture by co...
Hirotaka Ueda, Masahiko Tsukamoto, Shojiro Nishio
CLEAR
2007
Springer
128views Biometrics» more  CLEAR 2007»
15 years 9 months ago
Robust Speaker Identification for Meetings: UPC CLEAR'07 Meeting Room Evaluation System
In this paper, the authors describe the UPC speaker identification system submitted to the CLEAR'07 (Classification of Events, Activities and Relationships) evaluation. Firstl...
Jordi Luque, Javier Hernando
AMAST
2004
Springer
15 years 9 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
ATVA
2006
Springer
106views Hardware» more  ATVA 2006»
15 years 9 months ago
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier E...