2909 search results - page 50 / 582 » Consistency of the theory of contexts |
191
click to vote
TPHOL
2009
IEEE
16 years 23 days 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...
151
click to vote
ECOOP
2004
Springer
15 years 11 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...
175
click to vote
PERCOM
2010
ACM
15 years 10 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...
160
click to vote
EMNLP
2010
15 years 4 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...
124
click to vote
MLQ
2006
15 years 6 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...