1585 search results - page 219 / 317 » A framework for computer-aided validation |
141
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Record linkage is the computation of the associations among records of multiple databases. It arises in contexts like the integration of such databases, online interactions and...
162
click to vote
ISQED
2009
IEEE
15 years 10 months ago
2009
IEEE
For effective digital rights management (DRM) of multimedia in the framework of embedded systems, both watermarking and cryptography are necessary. In this paper, we present a wat...
111
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
113
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
124
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...