Sciweavers

4323 search results - page 382 / 865
» Callback Implementations in C
Sort
View
USITS
2003
15 years 7 months ago
Anypoint: Extensible Transport Switching on the Edge
Anypoint is a new model for one-to-many communication with ensemble sites—aggregations of end nodes that appear to the external Internet as a unified site. Policies for routing...
Ken Yocum, Darrell C. Anderson, Jeffrey S. Chase, ...
COOTS
1998
15 years 7 months ago
Java Transactions for the Internet
The Web frequently suffers from failures which affect the performance and consistency of applications run over it. An important fault-tolerance technique is the use of atomic tran...
Mark C. Little, Santosh K. Shrivastava
160
Voted
VISSYM
2003
15 years 7 months ago
MCMR: A Fluid View on Time Dependent Volume Data
Mass Conservative Motion Reconstruction is a new method for estimating motion in time dependent volume data. A time dependent vector field representing the movement of the data i...
Wim C. de Leeuw, Robert van Liere
FORTE
1998
15 years 7 months ago
Exploiting Symmetry in Protocol Testing
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
Judi Romijn, Jan Springintveld
164
Voted
FORTE
1998
15 years 7 months ago
Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. ...