110
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
142
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
142
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
146
click to vote
COMPGEOM
2007
ACM
15 years 9 months ago
2007
ACM
The paper consists of two major parts. In the first part, we re-examine relative -approximations, previously studied in [12, 13, 18, 25], and their relation to certain geometric p...