10159 search results - page 1650 / 2032 » System Design Validation Using Formal Models |
203
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
This chapter describes how the adaptive web technologies discussed in this book have been applied to news access. First, we provide an overview of different types of adaptivity in ...
238
click to vote
VALUETOOLS
2006
ACM
16 years 23 days ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
169
click to vote
ICMCS
1994
IEEE
15 years 11 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
185
click to vote
IJMSO
2007
15 years 6 months ago
2007
: Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible asse...
169
click to vote
TIT
1998
15 years 6 months ago
1998
— We look at multiple-track detection for magnetic recording systems that use array heads to write and read over multiple tracks simultaneously. The recording channel is modeled ...