Sciweavers

492 search results - page 40 / 99
» Data Integration: Where Does the Time Go
Sort
View
PODS
2004
ACM
109views Database» more  PODS 2004»
16 years 5 months ago
On the Complexity of Optimal K-Anonymity
The technique of k-anonymization has been proposed in the literature as an alternative way to release public information, while ensuring both data privacy and data integrity. We p...
Adam Meyerson, Ryan Williams
VLDB
2005
ACM
93views Database» more  VLDB 2005»
15 years 11 months ago
Revisiting Pipelined Parallelism in Multi-Join Query Processing
Multi-join queries are the core of any integration service that integrates data from multiple distributed data sources. Due to the large number of data sources and possibly high v...
Bin Liu, Elke A. Rundensteiner
148
Voted
CORR
2006
Springer
115views Education» more  CORR 2006»
15 years 5 months ago
New security and control protocol for VoIP based on steganography and digital watermarking
In this paper new, lightweight security and control protocol for Voice over Internet Protocol (VoIP) service is presented. It is the alternative for the IETF's (Internet Engi...
Wojciech Mazurczyk, Zbigniew Kotulski
COMCOM
2006
114views more  COMCOM 2006»
15 years 5 months ago
ImTCP: TCP with an inline measurement mechanism for available bandwidth
We introduce a novel mechanism for actively measuring available bandwidth along a network path. Instead of adding probe traffic to the network, the new mechanism exploits data pack...
Cao Le Thanh Man, Go Hasegawa, Masayuki Murata
ICTAC
2010
Springer
15 years 3 months ago
Mechanized Verification with Sharing
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
J. Gregory Malecha, Greg Morrisett