6258 search results - page 942 / 1252 » Applied Text Generation |
166
Voted
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
163
click to vote
QEST
2009
IEEE
16 years 26 days ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
174
click to vote
RTAS
2009
IEEE
16 years 26 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
144
Voted
SASO
2009
IEEE
16 years 26 days ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...
143
click to vote
ICEIS
2009
IEEE
16 years 24 days ago
2009
IEEE
Data warehouses have been widely used in various capacities such as large corporations or public institutions. These systems contain large and rich datasets that are often used by ...