Search Sciweavers | Sciweavers

41650 search results - page 137 / 8330

» Distribution of

113

click to vote

CONCUR
2009
Springer

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

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 11 months ago

Download www.memics.cz

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

claim paper

Read More »

101

click to vote

CONCUR
2009
Springer

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

Power of Randomization in Automata on Infinite Strings

15 years 11 months ago

Download www.cs.uic.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

click to vote

CONCUR
2009
Springer

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

Modeling Radio Networks

15 years 11 months ago

Download groups.csail.mit.edu

Calvin C. Newport, Nancy A. Lynch

claim paper

Read More »

134

click to vote

CONCUR
2009
Springer

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

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs

15 years 11 months ago

Download www.lama.univ-savoie.fr

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

claim paper

Read More »

112

click to vote

DCOSS
2009
Springer

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

Mote-Based Online Anomaly Detection Using Echo State Networks

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers