3831 search results - page 81 / 767 » Dynamic Context Logic |
95
Voted
JFP
2006
15 years 3 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
135
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
115
Voted
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
132
Voted
PERVASIVE
2007
Springer
15 years 9 months ago
2007
Springer
With the advance of pervasive technology, information from both the physical and virtual world is increasingly accessible to developers. Context -aware applications may consume re...
119
Voted
OWLED
2007
15 years 5 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...