3342 search results - page 608 / 669 » Automating Abstract Interpretation |
106
click to vote
SAC
2006
ACM
15 years 15 days 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...
108
Voted
AAECC
2005
Springer
15 years 15 days 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...
119
Voted
IJSWIS
2007
15 years 14 days 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...
137
Voted
ASE
2005
15 years 14 days 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...
110
click to vote
ASE
2005
15 years 14 days 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...