2935 search results - page 30 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
153
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
193
click to vote
DELOS
2007
15 years 5 months ago
2007
Data Stream Management (DSM) addresses the continuous processing of sensor data. DSM requires the combination of stream operators, which may run on different distributed devices, ...
141
click to vote
JSS
2006
15 years 3 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
103
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...