9455 search results - page 1625 / 1891 » The Modelling Language Zinc |
178
Voted
IFIP
2005
Springer
16 years 5 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...
197
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 4 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...
164
click to vote
SIGCSE
2004
ACM
16 years 2 days ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
174
click to vote
CC
2004
Springer
16 years 2 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...