6812 search results - page 1231 / 1363 » Detection of Information Flows |
184
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
197
click to vote
IJAR
2010
15 years 4 months ago
2010
For diagnosing dyslexia in early childhood, children have to solve non-writing based, graphical tests. Curently, these tests are processed by a human expert; applying artificial ...
201
click to vote
JOT
2010
15 years 4 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
160
click to vote
MTA
2010
15 years 4 months ago
2010
Effective encoding and indexing of audiovisual documents are two key aspects for enhancing the multimedia user experience. In this paper we propose the embedding of low-level cont...
162
click to vote
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...