Sciweavers

22698 search results - page 79 / 4540
» Modeling in Software Engineering
Sort
View
ISSRE
2005
IEEE
15 years 11 months ago
Markovian Modeling and Analysis of Internet Worm Propagation
Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi
FSTTCS
2003
Springer
15 years 11 months ago
Real-Time Model-Checking: Parameters Everywhere
Véronique Bruyère, Jean-Franç...
ICFEM
2003
Springer
15 years 11 months ago
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
ARCS
2010
Springer
15 years 11 months ago
Compiler-Directed Performance Model Construction for Parallel Programs
Martin Schindewolf, David Kramer, Marcelo Cintra