1222 search results - page 144 / 245 » Verifying a File System Implementation |
149
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
102
Voted
LREC
2010
15 years 4 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
ENTCS
2007
15 years 2 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
140
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
This paper explains our research and implementations of manual, automatic and deep annotations of provenance logs for e-Science in silico experiments. Compared to annotating gener...
132
Voted
ICAT
2006
IEEE
15 years 8 months ago
2006
IEEE
The use of Collaborative Virtual Geographic Environments (CVGE) is one of the most promising uses of virtual reality in geographic field. Data collaboration can support multi-direc...