Sciweavers

22698 search results - page 21 / 4540
» Modeling in Software Engineering
Sort
View
66
Voted
CSSE
2006
IEEE
14 years 9 months ago
Integrating social modelling and agent interaction through goal-oriented analysis
Iyad Rahwan, Thomas Juan, Leon Sterling
FOSSACS
2010
Springer
14 years 8 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
ICSE
2009
IEEE-ACM
14 years 7 months ago
SLA Protection models for virtualized data centers
Alessio Gambi, Mauro Pezzè, Michal Young