Search Sciweavers | Sciweavers

31686 search results - page 212 / 6338

» Resource typing in Guru

click to vote

ICFP
2003
ACM

88views Programming Languages» more ICFP 2003»

Global abstraction-safe marshalling with hash types

14 years 9 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

click to vote

LAWEB
2009
IEEE

146views Internet Technology» more LAWEB 2009»

Towards Canonical Task Types for User Interface Design

14 years 4 months ago

Download www.uclouvain.be

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

claim paper

Read More »

click to vote

CSFW
2008
IEEE

79views Security Privacy» more CSFW 2008»

Refinement Types for Secure Implementations

14 years 3 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

IEEESCC
2007
IEEE

83views Applied Computing» more IEEESCC 2007»

A Novel Approach for Process Mining Based on Event Types

14 years 3 months ago

Download wwwis.win.tue.nl

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

claim paper

Read More »

click to vote

ECUMN
2007
Springer

167views Computer Networks» more ECUMN 2007»

Characterizing Document Types to Evaluate Web Cache Replacement Policies

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers