1940 search results - page 88 / 388 » Graph Transformation with Variables |
133
click to vote
SIGSOFT
1994
ACM
15 years 7 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
109
click to vote
DCC
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper is concerned with optimal transform coding in conjunction with dithered quantization. While the optimal deterministic quantizer's error is uncorrelated with the re...
127
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
115
click to vote
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
170
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...