10669 search results - page 1816 / 2134 » Software - Implemented Self-healing System |
164
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
186
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper provides an overview of the Blue Matter application development effort within the Blue Gene project that supports our scientific simulation efforts in the areas of pro...
199
click to vote
CSB
2005
IEEE
16 years 10 days ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...
195
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
199
click to vote
IUI
2005
ACM
16 years 8 days ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...