Search Sciweavers | Sciweavers

31686 search results - page 213 / 6338

» Resource typing in Guru

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

14 years 3 months ago

Download www.stanford.edu

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

claim paper

Read More »

click to vote

ADAEUROPE
2005
Springer

112views Software Engineering» more ADAEUROPE 2005»

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

14 years 2 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

14 years 2 months ago

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

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

claim paper

Read More »

click to vote

ICDCS
2003
IEEE

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

Pragmatic Type Interoperability

14 years 2 months ago

Download se.inf.ethz.ch

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

claim paper

Read More »

click to vote

CHOROCHRONOS
2003
Springer

125views Database» more CHOROCHRONOS 2003»

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers