7080 search results - page 1143 / 1416 » Designing High Integrity Systems Using Aspects |
135
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
132
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
157
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
153
click to vote
SENSYS
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present a novel platform for underwater sensor networks to be used for long-term monitoring of coral reefs and fisheries. The sensor network consists of static a...
134
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
The range of scene depths that appear focused in an image is known as the depth of field (DOF). Conventional cameras are limited by a fundamental trade-off between depth of field a...