744 search results - page 73 / 149 » Observations on the Decidability of Transitions |
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
CPAIOR
2007
Springer
14 years 3 months ago
2007
Springer
We study the complexity of combinatorial problems that consist of competing infeasibility and optimization components. In particular, we investigate the complexity of the connectio...
RAID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper proposes a new approach to detecting aggregated anomalous events by correlating host file system changes across space and time. Our approach is based on a key...
ICTAC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper gives a brief description of feedback control systems engaged in DLR's recently developed multisensory 4finger robot hand. The work is concentrated on constructing...