1632 search results - page 258 / 327 » Topological Analysis of Refinement |
SIGGRAPH
1993
ACM
15 years 3 months ago
1993
ACM
Several common systems satisfy some but not all of the VR definition above. Flight simulators provide vehicle tracking, not head tracking, and do not generally operate in binocular...
97
Voted
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
105
Voted
ECAI
2004
Springer
15 years 2 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
101
Voted
FASE
2006
Springer
15 years 2 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
116
Voted
ADBIS
1995
Springer
15 years 2 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...