Sciweavers

6432 search results - page 117 / 1287
» Classic Mechanism Design
Sort
View
SIGSOFT
2005
ACM
16 years 1 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
101
Voted
WWW
2006
ACM
16 years 1 months ago
An audio/video analysis mechanism for web indexing
The high availability of video streams is making necessary mechanisms for indexing such contents in the Web world. In this paper we focus on news programs and we propose a mechani...
Marco Furini, Marco Aragone
101
Voted
CCS
2009
ACM
15 years 7 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 7 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
87
Voted
SAINT
2008
IEEE
15 years 7 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