Sciweavers

3972 search results - page 485 / 795
» Design of the iSCSI Protocol
Sort
View
DEBS
2003
ACM
16 years 1 hour ago
Relational subscription middleware for Internet-scale publish-subscribe
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
Yuhui Jin, Robert E. Strom
ASYNC
2007
IEEE
129views Hardware» more  ASYNC 2007»
15 years 10 months ago
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, ...
APGV
2008
ACM
200views Visualization» more  APGV 2008»
15 years 8 months ago
A psychophysical study of fixation behavior in a computer game
Prediction of gaze behavior in gaming environments can be a tremendously useful asset to game designers, enabling them to improve gameplay, selectively increase visual fidelity, a...
Veronica Sundstedt, Efstathios Stavrakis, Michael ...
DAC
2008
ACM
15 years 8 months ago
Protecting bus-based hardware IP by secret sharing
Our work addresses protection of hardware IP at the mask level with the goal of preventing unauthorized manufacturing. The proposed protocol based on chip locking and activation i...
Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov
ESA
2008
Springer
124views Algorithms» more  ESA 2008»
15 years 8 months ago
Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions
A truthful mechanism consists of an algorithm augmented with a suitable payment function which guarantees that the "players" cannot improve their utilities by "chea...
Paolo Penna, Carmine Ventre