2838 search results - page 568 / 568 » Verifying Controlled Components |
108
click to vote
PODC
2012
ACM
12 years 12 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
107
click to vote
AAAI
2008
14 years 12 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
104
Voted
ACSW
2007
14 years 11 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...