9264 search results - page 1235 / 1853 » Space Between Languages |
167
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
158
click to vote
PPDP
2005
Springer
16 years 22 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
213
click to vote
SEKE
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
226
click to vote
STACS
2005
Springer
16 years 21 days ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...
159
click to vote
PASTE
2004
ACM
16 years 20 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...