Search Sciweavers | Sciweavers

7529 search results - page 58 / 1506

» The Modula-3 Type System

197

click to vote

COOPIS
2003
IEEE

96views Information Technology» more COOPIS 2003»

Static Type-Inference for Trust in Distributed Information Systems

16 years 15 days 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 »

251

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

16 years 7 months ago

Download www.softlab.ntua.gr

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

claim paper

Read More »

177

click to vote

MEMBRANE
2009
Springer

195views Applied Computing» more MEMBRANE 2009»

Typed Membrane Systems

16 years 1 months ago

Download www.gcn.us.es

Bogdan Aman, Gabriel Ciobanu

claim paper

Read More »

147

click to vote

IJCNN
2007
IEEE

98views Neural Networks» more IJCNN 2007»

Nonlinear systems identification via two types of recurrent fuzzy CMAC

16 years 1 months ago

Download www.ctrl.cinvestav.mx

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

claim paper

Read More »

156

click to vote

ETRA
2006
ACM

102views Biometrics» more ETRA 2006»

A comparative usability study of two Japanese gaze typing systems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers