Sciweavers

3047 search results - page 46 / 610
» A Temporal Consensus Model
Sort
View
MMMACNS
2001
Springer
15 years 2 months ago
Future Directions in Role-Based Access Control Models
Abstract. In the past five years there has been tremendous activity in rolebased access control (RBAC) models. Consensus has been achieved on a standard core RBAC model that is in ...
Ravi S. Sandhu
IJIS
2002
79views more  IJIS 2002»
14 years 9 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur
WACV
2002
IEEE
15 years 2 months ago
Face Model Adaptation using Robust Matching and Active Appearance Models
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using deformable 3D models. For each frame, the proposed adaptation is sp...
Fadi Dornaika, Jörgen Ahlberg
ATAL
2005
Springer
15 years 3 months ago
Temporal logics for normative agent communication protocols
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
Ulle Endriss
MIE
2008
125views Healthcare» more  MIE 2008»
14 years 11 months ago
Formalization of Clinical Practice Guidelines
: Clinical practice guidelines are textual recommendations based on the consensus of medical experts with the aim to solve diagnostic and therapeutic problems. For more advanced us...
David Buchtela, Jan Peleska, Arnost Veselý,...