1734 search results - page 83 / 347 » its 2000 |
FMSP
2000
ACM
15 years 2 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
HT
2000
ACM
15 years 2 months ago
2000
ACM
Many techniques exist for analyzing information domains in preparation for systems design. No systematic technique exists, however, for analyzing a system or domain in terms of it...
MM
2000
ACM
15 years 2 months ago
2000
ACM
Digital television is a new, interesting, and rich platform for developing next generation multimedia services. Navigator is the most important Multimedia service of digital telev...
SIGMETRICS
2000
ACM
15 years 2 months ago
2000
ACM
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
113
click to vote
ADL
2000
Springer
15 years 2 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...