Sciweavers

12774 search results - page 266 / 2555
» A Framework for Proof Systems
Sort
View
SIMULATION
2010
96views more  SIMULATION 2010»
15 years 1 months ago
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
TRETS
2010
86views more  TRETS 2010»
15 years 1 months ago
A Simulation Framework for Rapid Analysis of Reconfigurable Computing Systems
Casey Reardon, Eric Grobelny, Alan D. George, Gong...
PERVASIVE
2011
Springer
14 years 9 months ago
NextPlace: A Spatio-temporal Prediction Framework for Pervasive Systems
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
Salvatore Scellato, Mirco Musolesi, Cecilia Mascol...