Sciweavers

3428 search results - page 391 / 686
» Making the Case
Sort
View
ASYNC
2003
IEEE
100views Hardware» more  ASYNC 2003»
16 years 19 hour ago
Congestion and Starvation Detection in Ripple FIFOs
High-speed asynchronous ripple FIFOs may be easily embedded in synchronous environments and can elegantly handle the problem of forwarding data between clock domains. In cases whe...
William S. Coates, Robert J. Drost
CA
2003
IEEE
16 years 18 hour ago
Satisfying the Perceived Need for Free-Play in Pedagogically Oriented Interactive Dramas
This research explores ways of harnessing people’s passion for entertainment in order to stimulate players to attain the meta-learning skills they need for lifelong learning and...
Barry G. Silverman, Michael Johns, Ransom Weaver
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
16 years 16 hour ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
DEXAW
2003
IEEE
137views Database» more  DEXAW 2003»
16 years 15 hour ago
Applying the Semantic Web Layers to Access Control
The Semantic Web, also known as the Web of meaning, is considered the new generation of the Web. Its objective is to enable computers and people to work in cooperation. A requisit...
Mariemma Inmaculada Yagüe del Valle, Antonio ...
FOCS
2003
IEEE
16 years 14 hour ago
Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
Rafael Pass, Alon Rosen