2527 search results - page 173 / 506 » A UML-Based Approach to System Testing |
112
click to vote
USENIX
2008
15 years 6 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
145
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
161
click to vote
AMKM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
159
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
Face recognition has established itself as an important subbranch of pattern recognition within the field of computer science. Many state-of-the-art systems have focused on the ta...
154
click to vote
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...