Sciweavers

1809 search results - page 183 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 4 months ago
Snap-Stabilizing Linear Message Forwarding
In this paper, we present the first snap-stabilizing message forwarding protocol that uses a number of buffers per node being independent of any global parameter, that is 4 buffers...
Anissa Lamani, Alain Cournier, Swan Dubois, Franck...
CORR
2008
Springer
119views Education» more  CORR 2008»
15 years 4 months ago
On the Relationship between Transmission Power and Capacity of an Underwater Acoustic Communication Channel
The underwater acoustic channel is characterized by a path loss that depends not only on the transmission distance, but also on the signal frequency. As a consequence, transmission...
Daniel Enrique Lucani, Milica Stojanovic, Muriel M...
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 4 months ago
Well-definedness of Streams by Transformation and Termination
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
Hans Zantema
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 4 months ago
A Toolkit for Scalable Spreadsheet Visualization
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
Markus Clermont
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 4 months ago
A Computational Framework for the Near Elimination of Spreadsheet Risk
We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, ...
Yusuf Jafry, Fredrika Sidoroff, Roger Chi