12333 search results - page 2230 / 2467 » System Level Modelling for Hardware Software Systems |
146
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
155
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
213
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
138
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Automated protein function prediction methods are the only practical approach for assigning functions to genes obtained from model organisms. Many of the previously re...
128
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...