6167 search results - page 152 / 1234 » Can Refinement be Automated |
108
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
—The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible ...
118
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes view generation and view optimisation in the AutoMed heterogeneous data integration framework. In AutoMed, schema integration is based on the use of reversibl...
110
click to vote
IADIS
2004
15 years 5 months ago
2004
In this paper we address the issue of automating systems management. Currently, any changes made in the configuration settings of the IT infrastructure in an enterprise are perfor...
127
Voted
DAC
2003
ACM
16 years 5 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
146
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...