Search Sciweavers | Sciweavers

15727 search results - page 352 / 3146

» Software Engineering - Introduction

100

click to vote

ISPW
1991
IEEE

83views Software Engineering» more ISPW 1991»

Process modeling paradigms: an evaluation

15 years 8 months ago

Download www.idi.ntnu.no

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

claim paper

Read More »

click to vote

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

15 years 8 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

click to vote

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

15 years 8 months ago

Download www.ircs.upenn.edu

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

claim paper

Read More »

109

click to vote

FSEN
2009
Springer

124views Software Engineering» more FSEN 2009»

Typing Asymmetric Client-Server Interaction

15 years 7 months ago

Download www.di.unito.it

Franco Barbanera, Sara Capecchi, Ugo de'Liguoro

claim paper

Read More »

click to vote

AOSD
2008
ACM

106views Software Engineering» more AOSD 2008»

Relational aspects as tracematches

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers