Sciweavers

2043 search results - page 261 / 409
» Reasoning About Security Models
Sort
View
105
Voted
CLIMA
2004
15 years 2 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
122
Voted
CMS
2006
150views Communications» more  CMS 2006»
15 years 2 months ago
Attribute Delegation Based on Ontologies and Context Information
This paper presents a model for delegation based on partial orders, proposing the subclass relation in OWL as a way to represent the partial orders. Delegation and authorization de...
Isaac Agudo, Javier Lopez, José A. Monteneg...
96
Voted
INTERACT
2003
15 years 2 months ago
Designing and Prototyping Multimodal Commands
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
Marie-Luce Bourguet
98
Voted
DS
1997
97views Database» more  DS 1997»
15 years 2 months ago
A Formalization of ODMG Queries
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
Holger Riedel, Marc H. Scholl
76
Voted
AI
2004
Springer
15 years 21 days ago
Elaboration tolerance through object-orientation
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
Joakim Gustafsson, Jonas Kvarnström