Sciweavers

351 search results - page 3 / 71
» Towards a General Framework for Modelling Roles
Sort
View
TDSC
2008
152views more  TDSC 2008»
13 years 7 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
EWSA
2004
Springer
14 years 1 months ago
Towards an MDA-Based Development Methodology
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
Anastasius Gavras, Mariano Belaunde, Luís F...
ICMI
2004
Springer
148views Biometrics» more  ICMI 2004»
14 years 1 months ago
A framework for evaluating multimodal integration by humans and a role for embodied conversational agents
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
Dominic W. Massaro
UAI
2001
13 years 9 months ago
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Daniel Pless, George F. Luger
ATAL
2010
Springer
13 years 9 months ago
Evaluating directorial control in a character-centric interactive narrative framework
Interactive narrative allows the user to play a role in a story and interact with other characters controlled by the system. Directorial control is a procedure for dynamically tun...
Mei Si, Stacy C. Marsella, David V. Pynadath