5128 search results - page 891 / 1026 » When Abstraction Fails |
188
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—This paper presents a model and theory for streaming layered video. We model the bandwidth available to the streaming application as a stochastic process whose statistic...
163
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
161
click to vote
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
Abstract We present a fast compression and decompression scheme for natural language texts that allows e cient and exible string matching by searching the compressed text directly....
167
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
172
click to vote
CONCUR
1992
Springer
15 years 10 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...