Sciweavers

4516 search results - page 20 / 904

» Education and the Semantic Web

51

CORR
2009
Springer

78views Education» more CORR 2009»

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

14 years 7 months ago

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

45

CORR
2009
Springer

79views Education» more CORR 2009»

Characteristic Formulae for Fixed-Point Semantics: A General Framework

14 years 7 months ago

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Download www.ru.is

Luca Aceto, Anna Ingólfsdóttir, Josh...

claim paper

Read More »

76

CORR
2009
Springer

70views Education» more CORR 2009»

Causality in the Semantics of Esterel: Revisited

14 years 7 months ago

Causality in the Semantics of Esterel: Revisited

Download www.win.tue.nl

Mohammad Reza Mousavi

claim paper

Read More »

62

CORR
2009
Springer

86views Education» more CORR 2009»

Rewriting Logic Semantics of a Plan Execution Language

14 years 7 months ago

Rewriting Logic Semantics of a Plan Execution Language

Download shemesh.larc.nasa.gov

Gilles Dowek, César Muñoz, Camilo Ro...

claim paper

Read More »

47

CORR
2010
Springer

90views Education» more CORR 2010»

Process Makna - A Semantic Wiki for Scientific Workflows

14 years 6 months ago

Process Makna - A Semantic Wiki for Scientific Workflows

Download precedings.nature.com

Adrian Paschke, Zhili Zhao

claim paper

Read More »

« Prev « First page 20 / 904 Last » Next »