Search Sciweavers | Sciweavers

31686 search results - page 212 / 6338

» Resource typing in Guru

136

click to vote

ICFP
2003
ACM

88views Programming Languages» more ICFP 2003»

Global abstraction-safe marshalling with hash types

16 years 7 months ago

Download www.cl.cam.ac.uk

James J. Leifer, Gilles Peskine, Peter Sewell, Kei...

claim paper

Read More »

187

click to vote

LAWEB
2009
IEEE

146views Internet Technology» more LAWEB 2009»

Towards Canonical Task Types for User Interface Design

16 years 1 months ago

Download www.uclouvain.be

Juan Manuel González-Calleros, Josefina Gue...

claim paper

Read More »

137

click to vote

CSFW
2008
IEEE

79views Security Privacy» more CSFW 2008»

Refinement Types for Secure Implementations

16 years 1 months ago

Download research.microsoft.com

Jesper Bengtson, Karthikeyan Bhargavan, Céd...

claim paper

Read More »

128

click to vote

IEEESCC
2007
IEEE

83views Applied Computing» more IEEESCC 2007»

A Novel Approach for Process Mining Based on Event Types

16 years 1 months ago

Download wwwis.win.tue.nl

Changrui Ren, Lijie Wen, Jin Dong, Hongwei Ding, W...

claim paper

Read More »

156

click to vote

ECUMN
2007
Springer

167views Computer Networks» more ECUMN 2007»

Characterizing Document Types to Evaluate Web Cache Replacement Policies

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers