17298 search results - page 3437 / 3460 » Abstract computing machines |
115
click to vote
JFP
2010
15 years 26 days ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
127
Voted
TSP
2008
15 years 26 days ago
2008
Abstract--Channel estimation and data detection for frequencyselective time-varying channels are considered using superimposed training. We employ a discrete prolate spheroidal bas...
135
click to vote
JUCS
2010
15 years 25 days ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
108
Voted
JUCS
2010
15 years 25 days ago
2010
Abstract: This paper discusses three rectilinear (that is, axis-parallel) covering problems in d dimensions and their variants. The first problem is the Rectilinear Line Cover whe...
127
click to vote
LPAR
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...