Sciweavers

9006 search results - page 24 / 1802

» Modeling Software

18

AVI
2006

124views Software Engineering» more AVI 2006»

Model of primary and secondary context

13 years 11 months ago

Model of primary and secondary context

Download hci.icts.sbg.ac.at

Erika Reponen, Kristijan Mihalic

claim paper

Read More »

20

FSTTCS
2008
Springer

124views Software Engineering» more FSTTCS 2008»

About models of security protocols

13 years 11 months ago

About models of security protocols

Download www.lsv.ens-cachan.fr

Hubert Comon-Lundh

claim paper

Read More »

25

AC
2006
Springer

77views Software Engineering» more AC 2006»

Models and Methods in Comparative Genomics

13 years 10 months ago

Models and Methods in Comparative Genomics

Download www.math.nus.edu.sg

Guillaume Bourque, Louxin Zhang

claim paper

Read More »

29

CSSE
2006
IEEE

52views Software Engineering» more CSSE 2006»

Integrating social modelling and agent interaction through goal-oriented analysis

13 years 10 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 »

34

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

13 years 9 months ago

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

« Prev « First page 24 / 1802 Last » Next »