9989 search results - page 225 / 1998 » A CLP Approach to Modelling Systems |
178
click to vote
SERP
2003
15 years 8 months ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
120
click to vote
JCNS
2006
15 years 6 months ago
2006
"Equation-free modelling" is a recently-developed technique for bridging the gap between detailed, microscopic descriptions of systems and macroscopic descriptions of the...
187
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
179
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
163
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...