4872 search results - page 57 / 975 » CBR for Modeling Complex Systems |
110
Voted
WSC
1997
15 years 5 months ago
1997
The specification of a simulation model of a complex traffic intersection using the Hierarchical Modeling And Simulation System-Java (HiMASS-j) is presented.
127
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
132
click to vote
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...
115
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
125
click to vote
WSC
2004
15 years 5 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...