551 search results - page 17 / 111 » Formalizing the Logic-Automaton Connection |
102
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
71
Voted
GG
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
88
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
79
Voted
MM
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...