469 search results - page 46 / 94 » Enabling RTR for industry |
ICCAD
2000
IEEE
14 years 27 days ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
ICMCS
2000
IEEE
14 years 27 days ago
2000
IEEE
A key enabling technology for the prolikration of multima dia PC’s is the availability of fast video codeca, which are the basic building blocks of many new multimedia applicati...
ECBS
2004
IEEE
14 years 7 days ago
2004
IEEE
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
IESA
2007
13 years 10 months ago
2007
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...