Search Sciweavers | Sciweavers

13306 search results - page 128 / 2662

» Theoretical Computer Science

click to vote

GI
2005
Springer

69views Theoretical Computer Science» more GI 2005»

Skalenfreie Netzwerke und Benutzermodellierung

15 years 10 months ago

Download www.safety-critical.de

Sandro Leuchter, Rainer Schönbein, Leon Urbas

claim paper

Read More »

109

Voted

GI
2005
Springer

124views Theoretical Computer Science» more GI 2005»

Intrusion Detection and Failure Recovery in Sensor Nodes

15 years 10 months ago

Download www.vs.inf.ethz.ch

Harald Vogt, Matthias Ringwald, Mario Strasser

claim paper

Read More »

121

Voted

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

15 years 10 months ago

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

claim paper

Read More »

119

Voted

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

15 years 10 months ago

Download cedric.cnam.fr

Sami Evangelista, Jean-François Pradat-Peyr...

claim paper

Read More »

108

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers