Search Sciweavers | Sciweavers

15885 search results - page 374 / 3177

» Strategic Software Engineering

129

click to vote

ISPW
1991
IEEE

83views Software Engineering» more ISPW 1991»

Process modeling paradigms: an evaluation

15 years 10 months ago

Download www.idi.ntnu.no

Reidar Conradi, Chunnian Liu, Maria Letizia Jacche...

claim paper

Read More »

130

click to vote

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

15 years 10 months ago

Download www.hpl.hp.com

Martín Abadi, Michael Burrows, C. Kaufman, ...

claim paper

Read More »

134

click to vote

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

15 years 10 months ago

Download www.ircs.upenn.edu

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

claim paper

Read More »

140

click to vote

FSEN
2009
Springer

124views Software Engineering» more FSEN 2009»

Typing Asymmetric Client-Server Interaction

15 years 10 months ago

Download www.di.unito.it

Franco Barbanera, Sara Capecchi, Ugo de'Liguoro

claim paper

Read More »

115

Voted

AOSD
2008
ACM

106views Software Engineering» more AOSD 2008»

Relational aspects as tracematches

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers