3342 search results - page 608 / 669 » Automating Abstract Interpretation |
SAC
2006
ACM
13 years 10 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
AAECC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
IJSWIS
2007
13 years 10 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
ASE
2005
13 years 10 months ago
2005
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
ASE
2005
13 years 10 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...