Sciweavers

9503 search results - page 281 / 1901
» Authenticated System Calls
Sort
View
AAAI
2008
15 years 9 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
CCIA
2009
Springer
15 years 8 months ago
Customization of an agent-based medical system
In this paper, the automatic customization of an agent-based medical system is approached by means of ontologies. The particular case of Home Care studied and developed in the EU K...
Montserrat Batet, Sergio Martínez, Aïd...
SPEECH
2008
75views more  SPEECH 2008»
15 years 7 months ago
Relations between de-facto criteria in the evaluation of a spoken dialogue system
Evaluation of spoken dialogue systems has been traditionally carried out in terms of instrumentally or expert-derived measures (usually called ``objective" evaluation) and qu...
Zoraida Callejas, Ramón López-C&oacu...
EDBT
2009
ACM
124views Database» more  EDBT 2009»
16 years 2 months ago
A sequential indexing scheme for flash-based embedded systems
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
Shaoyi Yin, Philippe Pucheral, Xiaofeng Meng
PET
2004
Springer
16 years 22 days ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...