41938 search results - page 146 / 8388 » Complex Systems Modeling |
117
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
119
click to vote
PAPM
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
145
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
142
click to vote
EDM
2010
15 years 6 months ago
2010
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...
155
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...