Search Sciweavers | Sciweavers

25167 search results - page 420 / 5034

» Parallel and Distributed Algorithms

124

click to vote

CONCUR
2009
Springer

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

Secure Enforcement for Global Process Specifications

16 years 1 months ago

Download research.microsoft.com

Jérémy Planul, Ricardo Corin, C&eacu...

claim paper

Read More »

154

click to vote

CONCUR
2009
Springer

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

A Logic-Based Framework for Reasoning about Composite Data Structures

16 years 1 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

133

Voted

CONCUR
2009
Springer

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

Power of Randomization in Automata on Infinite Strings

16 years 1 months ago

Download www.cs.uic.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

121

click to vote

CONCUR
2009
Springer

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

Modeling Radio Networks

16 years 1 months ago

Download groups.csail.mit.edu

Calvin C. Newport, Nancy A. Lynch

claim paper

Read More »

175

click to vote

CONCUR
2009
Springer

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

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers