Search Sciweavers | Sciweavers

41650 search results - page 137 / 8330

» Distribution of

140

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 »

120

click to vote

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 »

112

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 »

165

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

Download www.lama.univ-savoie.fr

Richard H. G. Garner, Tom Hirschowitz, Auré...

claim paper

Read More »

131

click to vote

DCOSS
2009
Springer

102views Distributed And Parallel Com...» more DCOSS 2009»

Mote-Based Online Anomaly Detection Using Echo State Networks

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers