9425 search results - page 8 / 1885 » Some Notes on Models and Modelling |
115
click to vote
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
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...
81
Voted
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
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...
101
Voted
ITA
2007
15 years 12 days ago
2007
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...
73
Voted
CMPB
2007
15 years 15 days ago
2007
72
Voted
ORL
2008
15 years 14 days ago
2008
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...