Search Sciweavers | Sciweavers

23557 search results - page 372 / 4712

» Distributed Computing - Introduction

Voted

CONCUR
2008
Springer

78views Distributed And Parallel Com...» more CONCUR 2008»

Environment Assumptions for Synthesis

15 years 5 months ago

Download mtc.epfl.ch

Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...

claim paper

Read More »

click to vote

CONCUR
2008
Springer

90views Distributed And Parallel Com...» more CONCUR 2008»

Quasi-Static Scheduling of Communicating Tasks

15 years 5 months ago

Download www.comp.nus.edu.sg

Philippe Darondeau, Blaise Genest, P. S. Thiagaraj...

claim paper

Read More »

118

click to vote

CONCUR
2008
Springer

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

Normed BPA vs. Normed BPP Revisited

15 years 5 months ago

Download www.memics.cz

Petr Jancar, Martin Kot, Zdenek Sawa

claim paper

Read More »

107

Voted

CONCUR
2008
Springer

85views Distributed And Parallel Com...» more CONCUR 2008»

A Rule Format for Associativity

15 years 5 months ago

Download www.win.tue.nl

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Re...

claim paper

Read More »

Voted

COORDINATION
2008
Springer

65views Distributed And Parallel Com...» more COORDINATION 2008»

A Formal Account of WS-BPEL

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers