3425 search results - page 226 / 685 » A Model Driven Approach for Software Systems Reliability |
110
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
To improve performance and reduce power, processor designers employ advances that shrink feature sizes, lower voltage levels, reduce noise margins, and increase clock rates. Howev...
156
Voted
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
134
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
The ability of human visual system to detect visual saliency is extraordinarily fast and reliable. However, computational modeling of this basic intelligent behavior still remains...
158
click to vote
HERCMA
2001
15 years 5 months ago
2001
Interactive systems, games, VR and multimedia systems require more and more flexible Virtual Humans with individualities. There are mainly two approaches: 1) Recording the motion u...
166
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...