3710 search results - page 92 / 742 » A new calculus of contexts |
165
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
199
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
150
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
146
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
We developed context photography to provide an alternative photographic experience. Sensors gather real-time context information which visually affects a photograph as it is taken...
175
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents “ConServ1 ”, a web service for context management. ConServ allows smart spaces to access user’s context data according to user-defined policies. This we...