Sciweavers

3831 search results - page 127 / 767
» Dynamic Context Logic
Sort
View
ENTCS
2002
90views more  ENTCS 2002»
15 years 3 months ago
A Language for Multi-dimensional Updates
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
João Alexandre Leite, José Jú...
ECSQARU
2007
Springer
15 years 10 months ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
97
Voted
EOR
2006
123views more  EOR 2006»
15 years 3 months ago
Double-layered dynamics: A unified theory of projected dynamical systems and evolutionary variational inequalities
In this paper we continue the study of the unified dynamics resulting from the theory of projected dynamical systems and evolutionary variational inequalities, initiated by Cojocar...
Monica-Gabriela Cojocaru, Patrizia Daniele, Anna N...
SACMAT
2003
ACM
15 years 9 months ago
An approach to engineer and enforce context constraints in an RBAC environment
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
Gustaf Neumann, Mark Strembeck
132
Voted
EUC
2006
Springer
15 years 7 months ago
Hybrid Dissemination Based Scalable and Adaptive Context Delivery for Ubiquitous Computing
Context delivery is an inevitable issue for ubiquitous computing. Context-aware middlewares perform all the functions of context sensing, inferring and delivery to context-aware ap...
Lenin Mehedy, Md. Kamrul Hasan, Young-Koo Lee, Sun...