3809 search results - page 305 / 762 » Associative language descriptions |
195
click to vote
ASM
2005
ASM
16 years 1 months 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...
183
click to vote
CP
2005
Springer
16 years 1 months 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...
210
click to vote
CP
2005
Springer
16 years 1 months 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...
186
Voted
ICCS
2001
Springer
15 years 12 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...
170
click to vote
DATE
1999
IEEE
15 years 12 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...