505 search results - page 37 / 101 » Implementation of Belief Change Operators Using BDDs |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
172
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
90
Voted
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
109
click to vote
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
AINA
2005
IEEE
15 years 3 months ago
2005
IEEE
Most of existing user authentication schemes require high computation cost of exponentiation operations for the purpose of security. However, it is not suitable for mobile devices...