1543 search results - page 102 / 309 » Using a Groupware Space for Distributed Requirements Enginee... |
114
click to vote
PODC
1998
ACM
15 years 8 months ago
1998
ACM
We present an algorithm for modifying delta compressed files so that the compressed versions may be reconstructed without scratch space. This allows network clients with limited ...
125
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
118
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
The complexity of testing properties of monotone and unimodal distributions, when given access only to samples of the distribution, is investigated. Two kinds of sublineartime alg...
166
click to vote
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
135
click to vote
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Many modern database applications require content-based similarity search capability in numeric attribute space. Further, users' notion of similarity varies between search se...