Search Sciweavers | Sciweavers

13752 search results - page 445 / 2751

» Parallel and Distributed Haskells

154

click to vote

CONCUR
2007
Springer

101views Distributed And Parallel Com...» more CONCUR 2007»

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

16 years 1 months ago

Download www.fi.muni.cz

Tomás Brázdil, Vojtech Forejt

claim paper

Read More »

157

click to vote

CONCUR
2007
Springer

93views Distributed And Parallel Com...» more CONCUR 2007»

Compositional Event Structure Semantics for the Internal pi -Calculus

16 years 1 months ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper

Read More »

154

click to vote

CONCUR
2007
Springer

119views Distributed And Parallel Com...» more CONCUR 2007»

Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

16 years 1 months ago

Download www.iis.sinica.edu.tw

Bow-Yaw Wang

claim paper

Read More »

169

click to vote

DCOSS
2007
Springer

104views Distributed And Parallel Com...» more DCOSS 2007»

Passive Inspection of Sensor Networks

16 years 1 months ago

Download www.vs.inf.ethz.ch

Matthias Ringwald, Kay Römer, Andrea Vitalett...

claim paper

Read More »

138

click to vote

EUROPAR
2007
Springer

98views Distributed And Parallel Com...» more EUROPAR 2007»

Extending UNICORE 5 Authentication Model by Supporting Proxy Certificate Profile Extensions

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers