2909 search results - page 50 / 582 » Consistency of the theory of contexts |
141
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
110
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
130
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
— In this paper, we present Orchestrator, an active resource orchestration framework for mobile context monitoring. Emerging pervasive environments will introduce a PAN-scale sen...
107
click to vote
EMNLP
2010
14 years 12 months ago
2010
Syntactic consistency is the preference to reuse a syntactic construction shortly after its appearance in a discourse. We present an analysis of the WSJ portion of the Penn Treeba...
MLQ
2006
15 years 1 months ago
2006
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory...