Sciweavers

12597 search results - page 172 / 2520
» Complexity of Mechanism Design
Sort
View
CCS
2009
ACM
15 years 10 months ago
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
Cédric Fournet, Gurvan Le Guernic, Tamara R...
ICC
2008
IEEE
139views Communications» more  ICC 2008»
15 years 10 months ago
Repeated Spectrum Sharing Game with Self-Enforcing Truth-Telling Mechanism
—Dynamic spectrum access has become a promising approach that can coordinate different users’ access to adapt to spectrum dynamics to improve spectrum efficiency. However, use...
Yongle Wu, Beibei Wang, K. J. Ray Liu
SAINT
2008
IEEE
15 years 10 months ago
Observing Walking Behavior of Humans Using Distributed Phenomenon Detection and Tracking Mechanisms
The utility of walking parameters such as stride length, cadence and gait velocity for monitoring motor functions of patients suffering from brain injury, Parkinson’s disease an...
Raja Bose, Abdelsalam Helal
DFT
2006
IEEE
74views VLSI» more  DFT 2006»
15 years 10 months ago
Recovery Mechanisms for Dual Core Architectures
Dual core architectures are commonly used to establish fault tolerance on the node level. Since comparison is usually performed for the outputs only, no precise diagnostic informa...
Christian El Salloum, Andreas Steininger, Peter Tu...
ICMCS
2006
IEEE
181views Multimedia» more  ICMCS 2006»
15 years 10 months ago
A Novel Distributed and Practical Incentive Mechanism for Peer to Peer Live Video Streaming
The successful deployment of peer-to-peer (P2P) live video streaming systems has practically demonstrated that it can scale to reliably support a large population of peers. Howeve...
Yun Tang, Lifeng Sun, Meng Zhang, Shiqiang Yang, Y...