Search Sciweavers | Sciweavers

27354 search results - page 163 / 5471

» Distributed And Parallel Computing

149

click to vote

DCOSS
2006
Springer

90views Distributed And Parallel Com...» more DCOSS 2006»

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

15 years 10 months ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

131

click to vote

CONCUR
2000
Springer

81views Distributed And Parallel Com...» more CONCUR 2000»

On the Reachability Problem in Cryptographic Protocols

15 years 10 months ago

Download reference.kfupm.edu.sa

Roberto M. Amadio, Denis Lugiez

claim paper

Read More »

129

click to vote

HIPC
2000
Springer

98views Distributed And Parallel Com...» more HIPC 2000»

Can Scatter Communication Take Advantage of Multidestination Message Passing?

15 years 10 months ago

Download nowlab.cse.ohio-state.edu

Mohammad Banikazemi, Dhabaleswar K. Panda

claim paper

Read More »

148

click to vote

CONCUR
1995
Springer

124views Distributed And Parallel Com...» more CONCUR 1995»

Delayed choice for process algebra with abstraction

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

168

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers