Sciweavers

9006 search results - page 24 / 1802

» Modeling Software

81

AVI
2006

124views Software Engineering» more AVI 2006»

Model of primary and secondary context

15 years 5 months ago

Model of primary and secondary context

Download hci.icts.sbg.ac.at

Erika Reponen, Kristijan Mihalic

claim paper

Read More »

89

FSTTCS
2008
Springer

124views Software Engineering» more FSTTCS 2008»

About models of security protocols

15 years 5 months ago

About models of security protocols

Download www.lsv.ens-cachan.fr

Hubert Comon-Lundh

claim paper

Read More »

97

AC
2006
Springer

77views Software Engineering» more AC 2006»

Models and Methods in Comparative Genomics

15 years 4 months ago

Models and Methods in Comparative Genomics

Download www.math.nus.edu.sg

Guillaume Bourque, Louxin Zhang

claim paper

Read More »

110

Voted

CSSE
2006
IEEE

52views Software Engineering» more CSSE 2006»

Integrating social modelling and agent interaction through goal-oriented analysis

15 years 4 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 »

130

Voted

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

15 years 3 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 »