4872 search results - page 166 / 975 » CBR for Modeling Complex Systems |
144
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...
172
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
140
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
118
click to vote
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
In this work we study the collective behavior in a model of a simplified homogeneous society. Each agent is modeled as a binary “perceptron”, receiving neighbors’ opinions a...
160
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...