Search Sciweavers | Sciweavers

6756 search results - page 33 / 1352

» Distributed Shared State

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 6 months ago

Download www.diku.dk

Marcus Chang, Andreas Terzis, Philippe Bonnet

claim paper

Read More »

click to vote

HPDC
2008
IEEE

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

Securing stateful grid servers through virtual server rotation

15 years 6 months ago

Download www.arcos.inf.uc3m.es

Matthew Smith, Christian Schridde, Bernd Freislebe...

claim paper

Read More »

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 3 months ago

Download www-2.cs.cmu.edu

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

claim paper

Read More »

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 3 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers