367 search results - page 4 / 74 » Industrial validation of COVAMOF |
IAJIT
2011
12 years 9 months ago
2011
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
ESEM
2009
ACM
13 years 11 months ago
2009
ACM
In order to draw valid conclusions when aggregating evidence it is important to describe the context in which industrial studies were conducted. This paper structures the context ...
DATE
2003
IEEE
13 years 11 months ago
2003
IEEE
With the increasing use of Intellectual Property (IP) in the semiconductor industry, the demand to verify IP for quality is high. This paper describes ipscreen, a software tool th...
PASTE
2004
ACM
13 years 11 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
RTCSA
2006
IEEE
14 years 7 days ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...