3831 search results - page 14 / 767 » Dynamic Context Logic |
118
Voted
ENTCS
2007
15 years 10 days ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
KR
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
164
click to vote
CF
2011
ACM
14 years 10 days ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
103
Voted
CADE
2004
Springer
16 years 21 days ago
2004
Springer
Lambda logic is the union of first order logic and lambda calculus. We prove basic metatheorems for both total and partial versions of lambda logic. We use lambda logic to state a...
115
click to vote
PERCOM
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...