Sciweavers

31686 search results - page 213 / 6338
» Resource typing in Guru
Sort
View
ISSTA
2006
ACM
15 years 6 months ago
Dynamic inference of abstract types
Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...
ADAEUROPE
2005
Springer
15 years 6 months ago
The Implementation of Ada 2005 Interface Types in the GNAT Compiler
One of the most important object-oriented features of the
Javier Miranda, Edmond Schonberg, Gary Dismukes
66
Voted
ICBA
2004
Springer
123views Biometrics» more  ICBA 2004»
15 years 6 months ago
User Authentication through Typing Biometrics Features
Lívia C. F. Araújo, Luiz H. R. Sucup...
66
Voted
ICDCS
2003
IEEE
15 years 6 months ago
Pragmatic Type Interoperability
Sébastien Baehni, Patrick Th. Eugster, Rach...
52
Voted
CHOROCHRONOS
2003
Springer
15 years 6 months ago
Spatio-temporal Models and Languages: An Approach Based on Data Types
Ralf Hartmut Güting, Michael H. Böhlen, ...