16725 search results - page 2639 / 3345 » Engineering Software Correctness |
194
click to vote
SOSP
2007
ACM
16 years 4 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...
208
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
218
Voted
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...
222
Voted
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
208
Voted
CW
2008
IEEE
16 years 1 months ago
2008
IEEE
Level set methods have been extensively used to track the dynamical interfaces between different materials for physically based simulation, geometry modeling, oceanic modeling and...