Sciweavers

22698 search results - page 79 / 4540
» Modeling in Software Engineering
Sort
View
90
Voted
ISSRE
2005
IEEE
15 years 8 months ago
Markovian Modeling and Analysis of Internet Worm Propagation
Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi
FSTTCS
2003
Springer
15 years 7 months ago
Real-Time Model-Checking: Parameters Everywhere
Véronique Bruyère, Jean-Franç...
ICFEM
2003
Springer
15 years 7 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 7 months ago
Compiler-Directed Performance Model Construction for Parallel Programs
Martin Schindewolf, David Kramer, Marcelo Cintra