Search Sciweavers | Sciweavers

13917 search results - page 70 / 2784

» Abstraction of Probabilistic Systems

155

Voted

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

16 years 1 months ago

Download rodin.cs.ncl.ac.uk

Michael J. Butler, Michael Leuschel, Colin F. Snoo...

claim paper

Read More »

140

Voted

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

16 years 29 days ago

Download www.lirmm.fr

Valérie Berthé, Michel Rigo

claim paper

Read More »

152

Voted

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 28 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

139

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

16 years 26 days ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

160

click to vote

FC
2004
Springer

78views Cryptology» more FC 2004»

Timing Attacks in Low-Latency Mix Systems (Extended Abstract)

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers