5525 search results - page 494 / 1105 » Verification of Model Transformations |
128
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
This paper presentsa version model which handlesdatabaseschemachangesandwhich takesevolution into account. Its originality is in allowing the development of partial schema version...
162
click to vote
PKC
2010
Springer
15 years 9 months ago
2010
Springer
We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...
191
click to vote
ECCV
2008
Springer
15 years 9 months ago
2008
Springer
Retrieval of similar heart sounds from a sound database has applications in physician training, diagnostic screening, and decision support. In this paper, we exploit a visual rende...
183
click to vote
ESTIMEDIA
2008
Springer
15 years 9 months ago
2008
Springer
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
204
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...