Sciweavers

15778 search results - page 66 / 3156

» Aikido and software engineering

34

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

14 years 1 months ago

State-Identification Problems for Finite-State Transducers

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

21

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

14 years 1 months ago

Online Testing with Reinforcement Learning

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

21

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Theory for Observational Fault Tolerance

14 years 1 months ago

A Theory for Observational Fault Tolerance

Download www.cs.um.edu.mt

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

18

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

14 years 1 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

24

FOSSACS
2006
Springer

105views Software Engineering» more FOSSACS 2006»

Dynamic Policy Discovery with Remote Attestation

14 years 1 months ago

Dynamic Policy Discovery with Remote Attestation

Download condor.depaul.edu

Corin Pitcher, James Riely

claim paper

Read More »

« Prev « First page 66 / 3156 Last » Next »