Sciweavers

29143 search results - page 460 / 5829
» A Sortation System Model
Sort
View
MODELS
2007
Springer
16 years 29 days ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler
152
Voted
SIAMAM
2010
97views more  SIAMAM 2010»
15 years 5 months ago
A 2-Phase Traffic Model Based on a Speed Bound
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...
Rinaldo M. Colombo, Francesca Marcellini, Michel R...
JLP
2010
73views more  JLP 2010»
15 years 1 months ago
Composing model programs for analysis
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...
Margus Veanes, Jonathan Jacky
IAJIT
2011
15 years 1 months ago
Novel robust multilevel 3D visualization technique for web based GIS
: 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...
Hatem Abdul-Kader, Mohamed Sherif