3971 search results - page 652 / 795 » On the Use of Properties in Java Applications |
122
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
155
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
This paper shows how to build and maintain a distributed heap which we call SHELL. In contrast to standard heaps, our heap is oblivious in the sense that its structure only depends...
104
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
133
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...
164
click to vote
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...