Sciweavers

12131 search results - page 45 / 2427
» Introduction to Modeling and Simulation
Sort
View
94
Voted
QEST
2010
IEEE
14 years 10 months ago
From Systems to Components: Constructive Methods for Product-Form Solutions
Andrea Marin, Maria Grazia Vigliotti
80
Voted
QEST
2010
IEEE
14 years 10 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
92
Voted
SPRINGSIM
2010
14 years 10 months ago
UAV search strategies using Cell-DEVS
Keith Holman, Jeremy Kuzub, Gabriel A. Wainer