940 search results - page 102 / 188 » Local rely-guarantee reasoning |
163
Voted
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
171
click to vote
FLOPS
2004
Springer
16 years 3 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
164
click to vote
PRIMA
2004
Springer
16 years 2 days ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
181
click to vote
HOTOS
2003
IEEE
16 years 10 hour ago
2003
IEEE
Peer-to-peer storage aims to build large-scale, reliable and available storage from many small-scale unreliable, low-availability distributed hosts. Data redundancy is the key to ...
158
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...