1514 search results - page 260 / 303 » Best-Order Streaming Model |
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
131
click to vote
C5
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper provides an overview of MediaDART, a framework for building online services for distributing and sharing digital media. Inspired by the participative model of Web 2.0, ...
101
click to vote
COMSWARE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Mobile WiMAX aims to provide multimedia multicast/broadcast service (MBS) as well as elastic data service. However, supporting delay sensitive applications like video/au...
FGR
2008
IEEE
15 years 6 months ago
2008
IEEE
Temporal segmentation of human motion into actions is a crucial step for understanding and building computational models of human motion. Several issues contribute to the challeng...
ICCCN
2008
IEEE
15 years 6 months ago
2008
IEEE
— Secure Shell (SSH) tunnels are commonly used to provide two types of privacy protection to clear-text application protocols. First and foremost, they aim at protecting the priv...