1546 search results - page 179 / 310 » Context-Aware Computing with Sound |
166
click to vote
COREGRID
2007
Springer
16 years 17 days ago
2007
Springer
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
128
click to vote
FOSSACS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
183
click to vote
HAID
2007
Springer
16 years 16 days ago
2007
Springer
This paper explores the possibilities of using audio and haptics for interpersonal communication via mobile devices. Drawing on the literature on current messaging practises, a new...
191
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
166
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...