3228 search results - page 327 / 646 » Computationally Sound Proofs |
124
click to vote
COREGRID
2007
Springer
15 years 10 months 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...
101
click to vote
FOSSACS
2007
Springer
15 years 10 months 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...
135
click to vote
HAID
2007
Springer
15 years 10 months 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...
155
Voted
TLCA
2007
Springer
15 years 10 months 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...
131
click to vote
TLCA
2007
Springer
15 years 10 months 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...