4697 search results - page 864 / 940 » On Directed Information and Gambling |
89
Voted
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Consider a content distribution network consisting of a set of sources, repositories and clients where the sources and the repositories cooperate with each other for efficient di...
101
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
118
click to vote
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
132
Voted
CF
2004
ACM
15 years 6 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
120
click to vote
MM
2004
ACM
15 years 6 months ago
2004
ACM
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...