Search Sciweavers | Sciweavers

6756 search results - page 33 / 1352

» Distributed Shared State

126

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 14 days ago

Download www.diku.dk

Marcus Chang, Andreas Terzis, Philippe Bonnet

claim paper

Read More »

125

click to vote

HPDC
2008
IEEE

96views Distributed And Parallel Com...» more HPDC 2008»

Securing stateful grid servers through virtual server rotation

16 years 11 days ago

Download www.arcos.inf.uc3m.es

Matthew Smith, Christian Schridde, Bernd Freislebe...

claim paper

Read More »

146

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

143

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 9 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

142

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers