940 search results - page 102 / 188 » Local rely-guarantee reasoning |
106
Voted
ECAI
2004
Springer
15 years 6 months 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...
FLOPS
2004
Springer
15 years 6 months 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...
94
Voted
PRIMA
2004
Springer
15 years 6 months 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...
106
Voted
HOTOS
2003
IEEE
15 years 6 months 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 ...
ICCS
2003
Springer
15 years 6 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...