29147 search results - page 117 / 5830 » System Modeling Resurrected |
119
click to vote
SIAMAM
2010
15 years 2 months ago
2010
We extend the classical LWR traffic model allowing different maximal speeds to different vehicles. Then, we add a uniform bound on the traffic speed. The result, presented in thi...
107
click to vote
JLP
2010
14 years 11 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
200
click to vote
IAJIT
2011
14 years 11 months ago
2011
: Number of recent technologies take Geographic Information Systems to new levels of power and usability. One of the most promising technologies that empower Geographic Information...
259
click to vote
AUTOMATICA
2011
14 years 11 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...