Sciweavers

9006 search results - page 175 / 1802
» Modeling Software
Sort
View
ISSRE
2005
IEEE
15 years 10 months ago
Markovian Modeling and Analysis of Internet Worm Propagation
Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi
FOSSACS
2005
Springer
15 years 10 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
115
Voted
FOSSACS
2005
Springer
15 years 10 months ago
Free-Algebra Models for the pi-Calculus
Ian Stark
ICFEM
2005
Springer
15 years 10 months ago
An Abstract Model for Process Mediation
Michael Altenhofen, Egon Börger, Jens Lemcke