10159 search results - page 268 / 2032 » System Design Validation Using Formal Models |
115
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
164
click to vote
HVC
2007
Springer
15 years 7 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
177
click to vote
POST
2012
13 years 11 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
131
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
112
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...