979 search results - page 74 / 196 » Footprints in Local Reasoning |
168
click to vote
ESORICS
2009
Springer
16 years 26 days ago
2009
Springer
For nearest neighbor search, a user queries a server for nearby points of interest (POIs) with his/her location information. Our aim is to protect the user’s sensitive informatio...
149
click to vote
NCA
2008
IEEE
16 years 14 days ago
2008
IEEE
In mobile environment, nodes can move around and voluntarily leave or join the network. Furthermore, they can crash or be disconnected from the network due to the absence of netwo...
126
click to vote
LICS
2007
IEEE
16 years 11 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
164
click to vote
CONCUR
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
139
click to vote
CEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...