Search Sciweavers | Sciweavers

15777 search results - page 341 / 3156

» The Reformulation-Optimization Software Engine

118

Voted

UIST
1995
ACM

97views Software Engineering» more UIST 1995»

Amortizing 3D Graphics Optimization Across Multiple Frames

15 years 7 months ago

Download www.cs.virginia.edu

Jim Durbin, Rich Gossweiler, Randy F. Pausch

claim paper

Read More »

Voted

ISPW
1991
IEEE

83views Software Engineering» more ISPW 1991»

Process modeling paradigms: an evaluation

15 years 7 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 7 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 7 months ago

Download www.ircs.upenn.edu

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

claim paper

Read More »

102

click to vote

FSEN
2009
Springer

124views Software Engineering» more FSEN 2009»

Typing Asymmetric Client-Server Interaction

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers