Search Sciweavers | Sciweavers

31387 search results - page 203 / 6278

» Abstracts

121

click to vote

TOOLS
1999
IEEE

112views Programming Languages» more TOOLS 1999»

Abstract Object State and Version Recovery in N-Version Programming

15 years 10 months ago

Download www.cs.ncl.ac.uk

Object State and Version Recovery in N-Version Programming Alexander Romanovsky

Alexander Romanovsky

claim paper

Read More »

123

click to vote

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

126

click to vote

TOOLS
1999
IEEE

98views Programming Languages» more TOOLS 1999»

Architecture = Abstractions over Software

15 years 10 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

132

click to vote

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

15 years 10 months ago

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

164

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers