3809 search results - page 305 / 762 » Associative language descriptions |
175
click to vote
ASM
2005
ASM
16 years 9 days ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
162
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
190
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
164
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
154
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...