4890 search results - page 263 / 978 » From system specifications to component behavioral models |
244
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
163
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
127
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
The research literature investigating the construction of tutorial dialogue and learning companion environments present parallel experiences in attempting to emulate what has been ...
172
click to vote
RTAS
2003
IEEE
16 years 3 hour ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
176
click to vote
ALIFE
2004
15 years 6 months ago
2004
This article revisits the concept of autopoiesis and examines its relation to cognition and life. We present a mathematical model of a 3D tesselation automaton, considered as a min...