17298 search results - page 169 / 3460 » Abstract computing machines |
156
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
149
click to vote
SFP
2004
15 years 8 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
191
Voted
SEC
2003
15 years 8 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
174
click to vote
AAAI
1998
15 years 8 months ago
1998
A key problem in text summarization is finding a salience function which determines what information in the source should be included in the summary. This paper describes the use ...