2935 search results - page 207 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
TON
2008
15 years 6 months ago
2008
This article presents an approach to IP traceback based on the probabilistic packet marking paradigm. Our approach, which we call randomize-and-link, uses large checksum cords to &...
173
click to vote
JVCIR
2008
15 years 6 months ago
2008
This paper presents a novel hardware implementation of a disparity estimation scheme targeted to real-time Integral Photography (IP) image and video sequence compression. The soft...
163
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
162
click to vote
IWPC
1996
IEEE
15 years 10 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
204
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...