256 search results - page 14 / 52 » Computing by Observing Bio-systems: The Case of Sticker Syst... |
ICTAC
2009
Springer
15 years 4 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...
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
NSPW
2003
ACM
15 years 5 months ago
2003
ACM
Locality as a unifying concept for understanding the normal behavior of benign users of computer systems is suggested as a unifying paradigm that will support the detection of mal...
INFORMATICALT
2000
14 years 11 months ago
2000
In the previous paper (Pupeikis, 2000) the problem of closed-loop robust identification using the direct approach in the presence of outliers in observations have been considered. ...
CHI
2008
ACM
15 years 1 months ago
2008
ACM
In this paper, we present the design process for developing a technology to support therapists for children with autism. To learn about the domain for which we were designing, one...