928 search results - page 111 / 186 » Interpolation-sequence based model checking |
101
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
135
click to vote
TDSC
2008
15 years 15 days ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
113
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
125
click to vote
FOIKS
2008
Springer
15 years 2 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
111
Voted
WSCG
2004
15 years 1 months ago
2004
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...