Sciweavers

1356 search results - page 3 / 272

» A variable-free dynamic semantics

64

CORR
2002
Springer

87views Education» more CORR 2002»

A variable-free dynamic semantics

15 years 3 months ago

A variable-free dynamic semantics

Download www.digitas.harvard.edu

Chung-chieh Shan

claim paper

Read More »

74

JETAI
1998

42views more JETAI 1998»

Semantical considerations on intention dynamics for BDI agents

15 years 3 months ago

Semantical considerations on intention dynamics for BDI agents

Download www.csc.ncsu.edu

Munindar P. Singh

claim paper

Read More »

106

TOSEM
2010

57views more TOSEM 2010»

Semantic self-assessment of query results in dynamic environments

15 years 1 months ago

Semantic self-assessment of query results in dynamic environments

Download coitweb.uncc.edu

Jamie Payton, Christine Julien, Gruia-Catalin Roma...

claim paper

Read More »

158

CONCUR
2009
Springer

175views Distributed And Parallel Com...» more CONCUR 2009»

BlenX Static and Dynamic Semantics

15 years 1 months ago

BlenX Static and Dynamic Semantics

Download disi.unitn.it

We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...

Corrado Priami, Paola Quaglia, Alessandro Romanel

claim paper

Read More »

85

CORR
2009
Springer

78views Education» more CORR 2009»

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

15 years 1 months ago

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

« Prev « First page 3 / 272 Last » Next »