Sciweavers

3831 search results - page 79 / 767
» Dynamic Context Logic
Sort
View
89
Voted
ERSA
2006
124views Hardware» more  ERSA 2006»
15 years 2 months ago
RTOS-Based Hardware Software Communications and Configuration Management in the Context of a Smart Camera
This paper deals with the question of task communication and configuration dynamic management in the context of hardware and software implementations. Our approach is based on a c...
Yvan Eustache, Jean-Philippe Diguet, Milad El Khod...
88
Voted
JUCS
2008
137views more  JUCS 2008»
15 years 17 days ago
Context-Oriented Programming with the Ambient Object System
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
Sebastián González, Kim Mens, Alfred...
101
Voted
APAL
2006
76views more  APAL 2006»
15 years 20 days ago
Non-primitive recursive decidability of products of modal logics with expanding domains
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
David Gabelaia, Agi Kurucz, Frank Wolter, Michael ...
68
Voted
CONTEXT
2001
Springer
15 years 5 months ago
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
PERCOM
2008
ACM
15 years 16 days ago
Peer-to-Peer Context Reasoning in Pervasive Computing Environments
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
Tao Gu, Hung Keng Pung, Daqing Zhang