256 search results - page 14 / 52 » Computing by Observing Bio-systems: The Case of Sticker Syst... |
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...
TACAS
2005
Springer
14 years 1 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
14 years 1 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
13 years 8 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
13 years 10 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...