2016 search results - page 247 / 404 » Megamaps: Construction and Examples |
150
click to vote
ISAAC
2005
Springer
16 years 5 days ago
2005
Springer
This paper addresses geometric problems that concern manufacturing an object using a cast with a core. In casting, molten material is poured into the cavity of the cast and allowe...
144
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
135
click to vote
EUROCRYPT
2004
Springer
16 years 1 days ago
2004
Springer
We study the problem of searching on data that is encrypted using a public key system. Consider user Bob who sends email to user Alice encrypted under Alice’s public key. An ema...
166
click to vote
MDM
2004
Springer
16 years 23 hour ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
215
click to vote
NDSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...