376 search results - page 69 / 76 » Systems Failures: An Approach to Building a Coping Strategy |
170
click to vote
MSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
146
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
158
click to vote
ICCBR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
168
click to vote
JODL
2000
15 years 5 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
194
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...