Sciweavers

23 search results - page 1 / 5

» fossacs 2006

4

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

13 years 8 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

6

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Theory for Observational Fault Tolerance

13 years 8 months ago

A Theory for Observational Fault Tolerance

Download www.cs.um.edu.mt

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

11

FOSSACS
2006
Springer

105views Software Engineering» more FOSSACS 2006»

Dynamic Policy Discovery with Remote Attestation

13 years 8 months ago

Dynamic Policy Discovery with Remote Attestation

Download condor.depaul.edu

Corin Pitcher, James Riely

claim paper

Read More »

8

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

13 years 8 months ago

A Semantic Approach to Interpolation

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

15

FOSSACS
2006
Springer

101views Software Engineering» more FOSSACS 2006»

Parity Games Played on Transition Graphs of One-Counter Processes

13 years 8 months ago

Parity Games Played on Transition Graphs of One-Counter Processes

Download hal.archives-ouvertes.fr

We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...

Olivier Serre

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »