2935 search results - page 479 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
DATE
2009
IEEE
16 years 20 days ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
166
click to vote
VRST
2009
ACM
16 years 13 days ago
2009
ACM
For the convenient reuse of large-scale 3D motion capture data, browsing and searching methods for the data should be explored. In this paper, an efficient indexing and retrieval...
173
click to vote
ICAC
2008
IEEE
16 years 11 days ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
156
click to vote
IEEESCC
2008
IEEE
16 years 10 days ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
166
click to vote
HICSS
2007
IEEE
16 years 7 days ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...