108 search results - page 13 / 22 » Automatic Validation of Code-Improving Transformations |
FMOODS
2006
13 years 9 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
ENTCS
2008
13 years 7 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Due to noise, overlapped text/signature and multi-oriented nature, seal (stamp) object detection involves a difficult challenge. This paper deals with automatic detection of seal ...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...