7986 search results - page 300 / 1598 » Computational Science and its Applications |
159
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
202
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
194
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
204
Voted
CLUSTER
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...
165
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
As users interact with the world and their peers through their computers, it is becoming important to archive and later search the information that they have viewed. We present De...