4930 search results - page 46 / 986 » Testing a Safety-Critical Application |
HCI
2009
14 years 9 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
100
click to vote
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
The Grid promise is starting to materialize today: largescale multi-site infrastructures have grown to assist the work of scientists from all around the world. This tremendous gro...
114
click to vote
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
108
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
105
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...