Sciweavers

5900 search results - page 39 / 1180
» Dependable Systems
Sort
View
CADE
2001
Springer
15 years 2 months ago
Approximating Dependency Graphs Using Tree Automata Techniques
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
Aart Middeldorp
78
Voted
ECSA
2008
Springer
14 years 11 months ago
Towards a Dependency Constraint Language to Manage Software Architectures
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
Ricardo Terra, Marco Tulio de Oliveira Valente
73
Voted
UCS
2004
Springer
15 years 2 months ago
Dependable Coding of Fiducial Tags
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...
Andrew C. Rice, Christopher B. Cain, John K. Fawce...
RE
2010
Springer
14 years 4 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson