129 search results - page 18 / 26 » Test Adequacy Assessment for UML Design Model Testing |
WWW
2003
ACM
16 years 9 days ago
2003
ACM
In this paper, we describe the design of a profile generator toolkit, which aims to automatically create realistic user profiles for a mobile personalized portal service. These pr...
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
WSC
2004
15 years 1 months ago
2004
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
100
click to vote
DAC
2009
ACM
16 years 19 days ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
ISCC
2003
IEEE
15 years 4 months ago
2003
IEEE
The increasing use of multimedia streams nowadays necessitates the development of efficient and effective methodologies for manipulating databases storing them. Moreover, content-...