411 search results - page 25 / 83 » Automating the Dependency Pair Method |
EUROMICRO
2009
IEEE
14 years 1 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
TPHOL
2005
IEEE
14 years 3 months ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
ICISS
2007
Springer
14 years 3 months ago
2007
Springer
Applications are subject to threat from a number of attack vectors, and limiting their attack surface is vital. By using privilege separation to constrain application access to pro...
LREC
2010
13 years 11 months ago
2010
Many contemporary language technology systems are characterized by long pipelines of tools with complex dependencies. Too often, these workflows are implemented by ad hoc scripts;...