1775 search results - page 95 / 355 » Antichains on Three Levels |
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
Industrial Sawyer motor technology has existed for nearly three decades, traditionally being operated as open-loop positioners. Such systems can attain micron level motion resolut...
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
CPE
1997
Springer
15 years 5 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
ECLIPSE
2007
ACM
15 years 5 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
104
click to vote
ATC
2006
Springer
15 years 5 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...