Sciweavers

4344 search results - page 502 / 869
» The resourcefulness of everyday design
Sort
View
SPIRE
1999
Springer
15 years 11 months ago
Developing a Tool to Assist Electronic Facilitation of Decision-Making Groups
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
Tania Ho, Pedro Antunes
DL
1998
Springer
158views Digital Library» more  DL 1998»
15 years 11 months ago
Making Global Digital Libraries Work: Collection Services, Connectivity Regions, and Collection Views
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...
Carl Lagoze, David Fielding, Sandra Payette
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 11 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
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...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
WDAG
1998
Springer
107views Algorithms» more  WDAG 1998»
15 years 11 months ago
Transient Fault Detectors
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...
Joffroy Beauquier, Sylvie Delaët, Shlomi Dole...
DAC
1997
ACM
15 years 11 months ago
Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets
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...
Marleen Adé, Rudy Lauwereins, J. A. Peperst...