7049 search results - page 137 / 1410 » Data Abstraction for CSP-OZ |
TWC
2010
14 years 4 months ago
2010
Abstract--In this letter, we consider multiple-input singleoutput (MISO) systems with two-way training based transmission. We focus on the long-term system performance and study th...
CPP
2011
13 years 9 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
130
click to vote
EGOV
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Pseudonymization is sometimes used as a light-weight alternative to fully cryptographic solutions, when information from different data sources needs to be linked in a p...
ADAEUROPE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...
192
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- Inverted files have been very successful for document retrieval, but sponsored search is different. Inverted files are designed to find documents that match the query (a...