1222 search results - page 198 / 245 » Verifying a File System Implementation |
WWW
2008
ACM
16 years 14 days ago
2008
ACM
The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...
192
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
A lot of research has been conducted by the database community on methods and techniques for efficient XPath processing, with great success. Despite the progress made, significant...
101
click to vote
USENIX
2004
15 years 1 months ago
2004
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. As remote execution tools grow in popularity, users require new features and exten...
111
click to vote
BMCBI
2010
14 years 6 months ago
2010
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
122
click to vote
IHI
2010
14 years 6 months ago
2010
Recent advances in healthcare and bioscience technologies and proliferation of portable medical devices are producing massive amounts of multimodal data. The need for parallel pro...