Search Sciweavers | Sciweavers

16725 search results - page 437 / 3345

» Engineering Software Correctness

150

click to vote

UIST
1995
ACM

97views Software Engineering» more UIST 1995»

Amortizing 3D Graphics Optimization Across Multiple Frames

15 years 9 months ago

Download www.cs.virginia.edu

Jim Durbin, Rich Gossweiler, Randy F. Pausch

claim paper

Read More »

120

click to vote

ISPW
1991
IEEE

83views Software Engineering» more ISPW 1991»

Process modeling paradigms: an evaluation

15 years 9 months ago

Download www.idi.ntnu.no

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

claim paper

Read More »

119

click to vote

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

15 years 9 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

122

click to vote

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

15 years 9 months ago

Download www.ircs.upenn.edu

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

claim paper

Read More »

130

click to vote

FSEN
2009
Springer

124views Software Engineering» more FSEN 2009»

Typing Asymmetric Client-Server Interaction

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers