8655 search results - page 990 / 1731 » Challenges for Trusted Computing |
263
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
211
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...
207
click to vote
PPOPP
2006
ACM
16 years 1 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
194
click to vote
MSWIM
2005
ACM
16 years 1 months ago
2005
ACM
Wi-Fi based indoor location systems have been shown to be both cost-effective and accurate, since they can attain meter-level positioning accuracy by using existing Wi-Fi infrastr...
222
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...