Search Sciweavers | Sciweavers

31686 search results - page 213 / 6338

» Resource typing in Guru

126

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

16 years 1 months ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

167

Voted

ADAEUROPE
2005
Springer

112views Software Engineering» more ADAEUROPE 2005»

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

16 years 23 days ago

Download www.adacore.com

One of the most important object-oriented features of the

Javier Miranda, Edmond Schonberg, Gary Dismukes

claim paper

Read More »

135

click to vote

ICBA
2004
Springer

123views Biometrics» more ICBA 2004»

User Authentication through Typing Biometrics Features

16 years 18 days ago

Download www.cmlab.csie.ntu.edu.tw

Lívia C. F. Araújo, Luiz H. R. Sucup...

claim paper

Read More »

138

click to vote

ICDCS
2003
IEEE

82views Distributed And Parallel Com...» more ICDCS 2003»

Pragmatic Type Interoperability

16 years 15 days ago

Download se.inf.ethz.ch

Sébastien Baehni, Patrick Th. Eugster, Rach...

claim paper

Read More »

110

click to vote

CHOROCHRONOS
2003
Springer

125views Database» more CHOROCHRONOS 2003»

Spatio-temporal Models and Languages: An Approach Based on Data Types

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers