5263 search results - page 911 / 1053 » Data sources selection for XML data sources |
149
click to vote
CARDIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
164
click to vote
MM
1995
ACM
15 years 10 months ago
1995
ACM
The current model for multicast transmission of video over the Internet assumes that a fixed average bandwidth is uniformly present throughout the network. Consequently, sources ...
161
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Efficiently detecting near duplicate resources is an important task when integrating information from various sources and applications. Once detected, near duplicate reso...
173
click to vote
CAIP
2009
Springer
15 years 9 months ago
2009
Springer
Binary decision trees based on univariate splits have traditionally employed so-called impurity functions as a means of searching for the best node splits. Such functions use estim...
160
click to vote
USENIX
2008
15 years 8 months ago
2008
The performance of receive side TCP processing has traditionally been dominated by the cost of the `per-byte' operations, such as data copying and checksumming. We show that ...