762 search results - page 108 / 153 » Conditionally correct superoptimization |
IFIP
2005
Springer
14 years 3 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
IWQOS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Object detection quality and network lifetime are two conflicting aspects of a sensor network, but both are critical to many sensor applications such as military surveil...
COMPGEOM
2004
ACM
14 years 3 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
VRCAI
2004
ACM
14 years 3 months ago
2004
ACM
This paper concerns the application of pattern classification techniques to the domain of augmented reality. In many augmented reality applications, one of the ways in which info...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...