6434 search results - page 167 / 1287 » Model Transformations with Reference Models |
EMNLP
2008
13 years 12 months ago
2008
String transformation, which maps a source string s into its desirable form t , is related to various applications including stemming, lemmatization, and spelling correction. The ...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
IEEEPACT
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
DAC
2002
ACM
14 years 11 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
ICECCS
2000
IEEE
14 years 2 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...