29147 search results - page 117 / 5830 » System Modeling Resurrected |
140
click to vote
SIAMAM
2010
15 years 4 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...
131
click to vote
JLP
2010
15 years 1 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...
242
click to vote
IAJIT
2011
15 years 1 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...
305
click to vote
AUTOMATICA
2011
15 years 1 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...