Sciweavers

10585 search results - page 132 / 2117

» The Orc Programming Language

28

ICALP
2010
Springer

104views Programming Languages» more ICALP 2010»

Polynomial-Space Approximation of No-Signaling Provers

13 years 7 months ago

Polynomial-Space Approximation of No-Signaling Provers

Download qip2011.quantumlah.org

Tsuyoshi Ito

claim paper

Read More »

14

IFIP
2010
Springer

89views Programming Languages» more IFIP 2010»

Informedness in Collaborative Networks through Active Information Provisioning

13 years 6 months ago

Informedness in Collaborative Networks through Active Information Provisioning

Download www.uninova.pt

Heiko Thimm, Karsten Boye Rasmussen

claim paper

Read More »

21

CEFP
2009
Springer

126views Programming Languages» more CEFP 2009»

Types for Units-of-Measure: Theory and Practice

13 years 6 months ago

Types for Units-of-Measure: Theory and Practice

Download typesatwork.imm.dtu.dk

Andrew Kennedy

claim paper

Read More »

22

DSL
2009

151views Programming Languages» more DSL 2009»

Combining DSLs and Ontologies Using Metamodel Integration

13 years 6 months ago

Combining DSLs and Ontologies Using Metamodel Integration

Download www.uni-koblenz.de

Tobias Walter, Jürgen Ebert

claim paper

Read More »

22

IFIP
2009
Springer

99views Programming Languages» more IFIP 2009»

Managing Innovation: A Multidisciplinary Scenario Development Approach

13 years 6 months ago

Managing Innovation: A Multidisciplinary Scenario Development Approach

Download www-staff.lboro.ac.uk

Esmond Urwin, Michael Henshaw

claim paper

Read More »

« Prev « First page 132 / 2117 Last » Next »