11324 search results - page 2004 / 2265 » Coordination Models and Languages |
179
click to vote
IEAAIE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
177
Voted
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
196
click to vote
PERVASIVE
2005
Springer
16 years 4 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
149
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
173
click to vote
CC
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...