1077 search results - page 160 / 216 » integration 2000 |
ITC
2000
IEEE
14 years 17 days ago
2000
IEEE
Concurrent error detection (CED) techniques (based on hardware duplication, parity codes, etc.) are widely used to enhance system dependability. All CED techniques introduce some ...
IV
2000
IEEE
14 years 17 days ago
2000
IEEE
The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the ...
IV
2000
IEEE
14 years 17 days ago
2000
IEEE
Proper information visualization has always been viewed as an important tool for research. Traditionally, however, it was regarded as only a tool, with information content and vis...
IWSSD
2000
IEEE
14 years 17 days ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
KBSE
2000
IEEE
14 years 17 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...