Sciweavers

12050 search results - page 28 / 2410
» Modeling and Simulation
Sort
View
109
Voted
QEST
2010
IEEE
15 years 8 days ago
From Systems to Components: Constructive Methods for Product-Form Solutions
Andrea Marin, Maria Grazia Vigliotti
100
Voted
QEST
2010
IEEE
15 years 8 days ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
SPRINGSIM
2010
15 years 8 days ago
UAV search strategies using Cell-DEVS
Keith Holman, Jeremy Kuzub, Gabriel A. Wainer