2935 search results - page 33 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
163
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving software required by systems such as information integration application...
115
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
127
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
This paper presents an autostereoscopic three-dimensional (3-D) surgical display with high quality integral videography (IV) rendering algorithm. IV is an animated extension of int...
149
click to vote
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...