1222 search results - page 138 / 245 » Verifying a File System Implementation |
126
Voted
PODC
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
130
Voted
COMSWARE
2006
IEEE
15 years 6 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
107
Voted
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
129
Voted
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
160
Voted
CSI
2004
15 years 2 months ago
2004
Standards are important to the growth and acceptance of emerging industries such as the biometric industry. To promote biometric standard, the BioAPI Consortium has developed a wi...