4302 search results - page 491 / 861 » Ambiguity as a resource for design |
203
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
There are many technical challenges in designing the architecture of globally-distributed, federated digital libraries. This paper focuses on the problem of global resource discov...
180
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
178
click to vote
WDAG
1998
Springer
15 years 11 months ago
1998
Springer
We present fault detectors for transient faults, (i.e. corruptions of the memory of the processors, but not of the code of the processors). We distinguish fault detectors for tasks...
176
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The paper presents an algorithm to determine the close-tosmallest possible data buffer sizes for arbitrary synchronous data flow (SDF) applications, such that we can guarantee the...
175
click to vote
ELPUB
1997
ACM
15 years 11 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...