Sciweavers

22698 search results - page 21 / 4540

» Modeling in Software Engineering

22

CSSE
2006
IEEE

52views Software Engineering» more CSSE 2006»

Integrating social modelling and agent interaction through goal-oriented analysis

13 years 7 months ago

Integrating social modelling and agent interaction through goal-oriented analysis

Download www.mit.edu

Iyad Rahwan, Thomas Juan, Leon Sterling

claim paper

Read More »

19

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 6 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

21

SE
2010

145views Software Engineering» more SE 2010»

ParTeG - Integrating Model-based Testing and Model Transformations

13 years 5 months ago

ParTeG - Integrating Model-based Testing and Model Transformations

Download se2010.uni-paderborn.de

Dehla Sokenou, Stephan Weißleder

claim paper

Read More »

16

ICSE
2009
IEEE-ACM

100views Software Engineering» more ICSE 2009»

SLA Protection models for virtualized data centers

13 years 5 months ago

SLA Protection models for virtualized data centers

Download www.seams2009.cs.uvic.ca

Alessio Gambi, Mauro Pezzè, Michal Young

claim paper

Read More »

19

CCE
2010

132views Software Engineering» more CCE 2010»

Aggregate models based on improved group methods for simulation and optimization of distillation systems

13 years 4 months ago

Aggregate models based on improved group methods for simulation and optimization of distillation systems

Download egon.cheme.cmu.edu

Ravindra S. Kamath, Ignacio E. Grossmann, Lorenz T...

claim paper

Read More »

« Prev « First page 21 / 4540 Last » Next »