2586 search results - page 399 / 518 » Automatic Abstraction for Congruences |
167
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
168
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
158
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
160
click to vote
GD
2000
Springer
15 years 10 months ago
2000
Springer
The merit of automatic graph layout algorithms is typically judged on their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minimi...
168
click to vote
ICMI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Eyes play important roles in emotion and paralinguistic communications. Detection of eye state is necessaryfor applicationssuch as driver awareness systems. In this paper,...