1546 search results - page 150 / 310 » Context-Aware Computing with Sound |
224
click to vote
FMCO
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
166
click to vote
ACSC
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
182
click to vote
BIRTHDAY
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
184
click to vote
FOSSACS
2003
Springer
16 years 3 days ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
126
click to vote
CHI
2010
ACM
16 years 8 hour ago
2010
ACM
This paper proposes a mobile application to facilitate the meeting of people in unmarked spaces. We report on the concept, aspects of the work-in-progress implementation and futur...