3555 search results - page 401 / 711 » Security-Critical System Development with Extended Use Cases |
175
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
179
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Despite substantial progress in measuring the 3D profile of anatomical variations in the human brain, their genetic and environmental causes remain enigmatic. We developed an auto...
186
click to vote
CAEPIA
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
209
Voted
BMCBI
2006
15 years 6 months ago
2006
Background: Multiple sequence alignment (MSA) is a useful tool in bioinformatics. Although many MSA algorithms have been developed, there is still room for improvement in accuracy...
217
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Text mining has spurred huge interest in the domain of biology. The goal of the BioCreAtIvE exercise was to evaluate the performance of current text mining systems. We...