1222 search results - page 53 / 245 » Verifying a File System Implementation |
108
click to vote
EUC
2006
Springer
15 years 6 months ago
2006
Springer
- Modern portable or embedded systems support more and more complex applications. These applications make embedded devices require not only low powerconsumption, but also high comp...
132
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
135
Voted
FAST
2009
15 years 5 days ago
2009
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...
115
click to vote
DIM
2008
ACM
15 years 4 months ago
2008
ACM
Public-key based certificates provide a standard way to prove one's identity, as attested by some certificate authority (CA). However, plain certificates provide a binary ide...
125
click to vote
SWS
2004
ACM
15 years 7 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...