2935 search results - page 359 / 587 » An Integrated Approach to High Integrity Software Verificati... |
163
click to vote
CCGRID
2005
IEEE
16 years 2 days ago
2005
IEEE
Addressing the long term preservation issues associated with scientific data is a complex challenge compounded by: the scale and multidisciplinary nature of the problem; the wide ...
167
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
129
click to vote
IUI
2005
ACM
16 years 1 days ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
169
click to vote
DEXA
2005
Springer
16 years 4 hour ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between di...
152
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...