Sciweavers

1178 search results - page 174 / 236
» A Methodological Approach to Developing Model Transformation...
Sort
View
PODC
1995
ACM
15 years 5 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
DGO
2009
89views Education» more  DGO 2009»
15 years 2 months ago
Top-level decisions through public deliberation on the internet: evidence from the evolution of Java governance
This study found internet-enabled public deliberation having a direct impact on top-level decisions and it identified institutional mechanisms by which this occurs. Most governmen...
Michael Kaschesky, Reinhard Riedl
INFOCOM
2007
IEEE
15 years 7 months ago
Experimental Assessment of the Backoff Behavior of Commercial IEEE 802.11b Network Cards
— It has been observed that different IEEE 802.11 commercial cards produced by different vendors experience different performance, either when accessing alone the channel, as wel...
Giuseppe Bianchi, Antonio Di Stefano, Costantino G...
FLAIRS
2009
14 years 11 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
ATS
2003
IEEE
131views Hardware» more  ATS 2003»
15 years 6 months ago
Software-Based Delay Fault Testing of Processor Cores
Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in function...
Virendra Singh, Michiko Inoue, Kewal K. Saluja, Hi...