7694 search results - page 407 / 1539 » An Implementation of an Applicative File System |
216
click to vote
TSE
2011
15 years 1 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
239
Voted
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
157
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
While overall bandwidth in the internet has grown rapidly over the last few years, and an increasing number of clients enjoy broadband connectivity, many others still access the i...
196
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
A great number of documents are scanned and archived in the form of digital images in digital libraries, to make them available and accessible in the Internet. Information retriev...
192
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...