Sciweavers

2143 search results - page 26 / 429

» corr 2010

13

CORR
2010
Springer

46views Education» more CORR 2010»

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

13 years 11 months ago

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

Download react.cs.uni-sb.de

Markus Rabe, Sven Schewe

claim paper

Read More »

24

CORR
2010
Springer

97views Education» more CORR 2010»

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

13 years 11 months ago

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

24

CORR
2010
Springer

43views Education» more CORR 2010»

Explicit Substitutions for Contextual Type Theory

13 years 11 months ago

Explicit Substitutions for Contextual Type Theory

Download www.cs.mcgill.ca

Andreas Abel, Brigitte Pientka

claim paper

Read More »

13

CORR
2010
Springer

60views Education» more CORR 2010»

Contracting the Facebook API

13 years 11 months ago

Contracting the Facebook API

Download www.cs.ucsb.edu

Ben Rubinger, Tevfik Bultan

claim paper

Read More »

15

CORR
2010
Springer

47views Education» more CORR 2010»

A Graphical Approach to Progress for Structured Communication in Web Services

13 years 11 months ago

A Graphical Approach to Progress for Structured Communication in Web Services

Download www.itu.dk

Marco Carbone, Søren Debois

claim paper

Read More »

« Prev « First page 26 / 429 Last » Next »