Sciweavers

9425 search results - page 8 / 1885
» Some Notes on Models and Modelling
Sort
View
ICCS
2004
Springer
14 years 1 months ago
A Note on Dynamic Data Driven Wildfire Modeling
A proposed system for real-time modeling of wildfires is described. The system involves numerical weather and fire prediction, automated data acquisition from Internet sources, and...
Jan Mandel, Mingshi Chen, Leopoldo P. Franca, Crai...
ASIACRYPT
2000
Springer
14 years 24 days ago
A Note on Security Proofs in the Generic Model
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
Marc Fischlin
ITA
2007
13 years 8 months ago
Three notes on the complexity of model checking fixpoint logic with chop
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
Martin Lange
ORL
2008
71views more  ORL 2008»
13 years 8 months ago
A note on polling models with renewal arrivals and nonzero switch-over times
We consider polling systems with general service times and switch-over times, gated service at all queues and with general renewal arrival processes. We derive closed-form express...
Robert D. van der Mei, Erik M. M. Winands