1416 search results - page 45 / 284 » An Exact Interpretation of While |
POPL
1995
ACM
14 years 1 months ago
1995
ACM
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation. Obliq objects have state and are local to a site. Obliq computati...
DAC
2003
ACM
14 years 3 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
VLDB
2006
ACM
15 years 9 months ago
2006
ACM
This paper tackles a major privacy concern in current location-based services where users have to continuously report their locations to the database server in order to obtain the ...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
In recent years, there has been significant interest in development of ranking functions and efficient top-k retrieval algorithms to help users in ad-hoc search and retrieval in da...
FSTTCS
2003
Springer
14 years 3 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...