3573 search results - page 527 / 715 » Reasoning about Codata |
112
Voted
DAGSTUHL
2001
15 years 5 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
153
Voted
IFIP12
2004
15 years 5 months ago
2004
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...
122
Voted
FORTE
2001
15 years 5 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
155
Voted
ISSA
2004
15 years 5 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
118
Voted
ICHIM
2001
15 years 5 months ago
2001
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...