5525 search results - page 846 / 1105 » Verification of Model Transformations |
202
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
185
click to vote
CGO
2006
IEEE
16 years 22 days ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
181
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
189
click to vote
ECIS
2000
15 years 8 months ago
2000
- E-services will change the future of business as well as private relationships. The rearrangement of value chains, new competitive arenas and the growing necessity and interest i...
155
click to vote
TEC
2002
15 years 6 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...