Search Sciweavers | Sciweavers

7529 search results - page 58 / 1506

» The Modula-3 Type System

135

click to vote

COOPIS
2003
IEEE

96views Information Technology» more COOPIS 2003»

Static Type-Inference for Trust in Distributed Information Systems

15 years 9 months ago

Download www.cs.ucdavis.edu

Abstract. Decision-makers in critical ﬁelds such as medicine and ﬁnance make use of a wide range of information available over the Internet. Mediation, a data integration techn...

Premkumar T. Devanbu, Michael Gertz, Brian Toone

claim paper

Read More »

197

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

16 years 4 months ago

Download www.softlab.ntua.gr

Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...

claim paper

Read More »

116

click to vote

MEMBRANE
2009
Springer

195views Applied Computing» more MEMBRANE 2009»

Typed Membrane Systems

15 years 10 months ago

Download www.gcn.us.es

Bogdan Aman, Gabriel Ciobanu

claim paper

Read More »

103

click to vote

IJCNN
2007
IEEE

98views Neural Networks» more IJCNN 2007»

Nonlinear systems identification via two types of recurrent fuzzy CMAC

15 years 10 months ago

Download www.ctrl.cinvestav.mx

Floriberto Ortiz Rodriguez, Wen Yu, Marco A. Moren...

claim paper

Read More »

110

click to vote

ETRA
2006
ACM

102views Biometrics» more ETRA 2006»

A comparative usability study of two Japanese gaze typing systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers