Sciweavers

4516 search results - page 20 / 904

» Semantic Web and Education

64

CORR
2009
Springer

78views Education» more CORR 2009»

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

14 years 10 months ago

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

61

CORR
2009
Springer

79views Education» more CORR 2009»

Characteristic Formulae for Fixed-Point Semantics: A General Framework

14 years 10 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 »

87

CORR
2009
Springer

70views Education» more CORR 2009»

Causality in the Semantics of Esterel: Revisited

14 years 10 months ago

Causality in the Semantics of Esterel: Revisited

Download www.win.tue.nl

Mohammad Reza Mousavi

claim paper

Read More »

78

CORR
2009
Springer

86views Education» more CORR 2009»

Rewriting Logic Semantics of a Plan Execution Language

14 years 10 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 »

61

Voted

CORR
2010
Springer

90views Education» more CORR 2010»

Process Makna - A Semantic Wiki for Scientific Workflows

14 years 9 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 »