1701 search results - page 172 / 341 » Computer Science and State Machines |
FORTE
1998
15 years 20 hour ago
1998
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
HCI
2009
14 years 8 months ago
2009
We discuss the physiological metrics that can be measured with electroencephalography (EEG) and functional near infrared spectroscopy (fNIRs). We address the functional and practic...
RAID
2010
Springer
14 years 8 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...
186
click to vote
Publication
Image inpaining "involves filling in part of an image (or video) using information
for the surrounding area" [1]. This report summarizes an application of numerical
sol...
165
click to vote
Book
"This is an excellent reference book. The author has done a great job in at least three directions. First, he expertly, systematically and with ever-present authority guides t...