Search Sciweavers | Sciweavers

31686 search results - page 213 / 6338

» Resource typing in Guru

117

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

16 years 19 days ago

Download www.stanford.edu

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

claim paper

Read More »

149

click to vote

ADAEUROPE
2005
Springer

112views Software Engineering» more ADAEUROPE 2005»

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

16 years 6 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 »

118

click to vote

ICBA
2004
Springer

123views Biometrics» more ICBA 2004»

User Authentication through Typing Biometrics Features

16 years 1 days ago

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

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

claim paper

Read More »

126

click to vote

ICDCS
2003
IEEE

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

Pragmatic Type Interoperability

15 years 12 months ago

Download se.inf.ethz.ch

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

claim paper

Read More »

100

click to vote

CHOROCHRONOS
2003
Springer

125views Database» more CHOROCHRONOS 2003»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers