Sciweavers

147 search results - page 14 / 30
» Determining Empirical Characteristics of Mathematical Expres...
Sort
View
SACMAT
2009
ACM
14 years 3 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
GLOBECOM
2010
IEEE
13 years 6 months ago
Peer-to-Peer Storage Systems: A Practical Guideline to be Lazy
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...
Frédéric Giroire, Julian Monteiro, S...
LREC
2010
132views Education» more  LREC 2010»
13 years 10 months ago
Development and Use of an Evaluation Collection for Personalisation of Digital Newspapers
This paper presents the process of development and the characteristics of an evaluation collection for a personalisation system for digital newspapers. This system selects, adapts...
Alberto Díaz, Pablo Gervás, Antonio ...
DAC
2007
ACM
14 years 9 months ago
Modeling and Estimation of Full-Chip Leakage Current Considering Within-Die Correlation
We present an efficient technique for finding the mean and variance of the full-chip leakage of a candidate design, while considering logic-structures and both die-to-die and with...
Khaled R. Heloue, Navid Azizi, Farid N. Najm
ATAL
2008
Springer
13 years 10 months ago
An empathic virtual dialog agent to improve human-machine interaction
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To identify under which circums...
Magalie Ochs, Catherine Pelachaud, David Sadek