10159 search results - page 411 / 2032 » System Design Validation Using Formal Models |
139
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
138
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
169
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
144
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
143
click to vote
ESANN
2008
15 years 5 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...