10263 search results - page 1895 / 2053 » From Use Cases to System Operation Specifications |
170
click to vote
DAWAK
2000
Springer
15 years 10 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
152
click to vote
DAC
2007
ACM
15 years 9 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
151
click to vote
FC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Private keyword search is a technique that allows for searching and retrieving documents matching certain keywords without revealing the search criteria. We improve the s...
173
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract-- This paper concerns the multiple access performance of spreading codes used in the downlink of multicarrier code-division multiple-access (MC-CDMA). Complex-valued sprea...
157
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...