Sciweavers

31686 search results - page 122 / 6338

» Resource typing in Guru

86

CAISE
2005
Springer

99views Information Technology» more CAISE 2005»

Relaxed Service-Type matching and Transformation management

15 years 11 months ago

Relaxed Service-Type matching and Transformation management

Download sunsite.informatik.rwth-aachen.de

Lea Kutvonen

claim paper

Read More »

129

RWEB
2005
Springer

85views Automated Reasoning» more RWEB 2005»

Towards Types for Web Rule Languages

15 years 11 months ago

Towards Types for Web Rule Languages

Download reasoningweb.org

Wlodzimierz Drabent

claim paper

Read More »

119

Voted

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 11 months ago

Logical Mobility and Locality Types

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

113

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 11 months ago

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

136

MDAI
2009
Springer

134views Artificial Intelligence» more MDAI 2009»

A Lyapunov-Type Theorem for Nonadditive Vector Measures

15 years 10 months ago

A Lyapunov-Type Theorem for Nonadditive Vector Measures

Download web.econ.keio.ac.jp

Nobusumi Sagara

claim paper

Read More »

« Prev « First page 122 / 6338 Last » Next »