Sciweavers

15777 search results - page 154 / 3156
» Engineering in Software
Sort
View
111
Voted
FATES
2006
Springer
15 years 7 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
92
Voted
FOSSACS
2006
Springer
15 years 7 months ago
A Theory for Observational Fault Tolerance
Adrian Francalanza, Matthew Hennessy
97
Voted
FOSSACS
2006
Springer
15 years 7 months ago
Dynamic Policy Discovery with Remote Attestation
Corin Pitcher, James Riely