Search Sciweavers | Sciweavers

31686 search results - page 213 / 6338

» Resource typing in Guru

100

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 11 months ago

Download www.stanford.edu

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

claim paper

Read More »

131

Voted

ADAEUROPE
2005
Springer

112views Software Engineering» more ADAEUROPE 2005»

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

15 years 11 months 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 »

click to vote

ICBA
2004
Springer

123views Biometrics» more ICBA 2004»

User Authentication through Typing Biometrics Features

15 years 11 months ago

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

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

claim paper

Read More »

114

click to vote

ICDCS
2003
IEEE

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

Pragmatic Type Interoperability

15 years 11 months ago

Download se.inf.ethz.ch

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

claim paper

Read More »

Voted

CHOROCHRONOS
2003
Springer

125views Database» more CHOROCHRONOS 2003»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers