645 search results - page 94 / 129 » concurrency 2007 |
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
117
click to vote
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
85
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
183
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
To access data sources on the Web, a crucial step is wrapping, which translates query responses, rendered in textual HTML, back into their relational form. Traditionally, this pro...
200
Voted
GIS
2007
ACM
16 years 1 months ago
2007
ACM
Handling streams of positional updates from numerous moving objects has become a challenging task for many monitoring applications. Several algorithms have been recently proposed ...