2639 search results - page 166 / 528 » Biological Systems as Reactive Systems |
146
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The purpose of this paper is to continue to develop the recently introduced concept of a regular positivereal function and its application to the classification of lowcomplexi...
193
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
162
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
170
click to vote
BMCBI
2008
2008
Relating gene expression data on two-component systems to functional annotations in Escherichia coli
15 years 6 months ago
Background: Obtaining physiological insights from microarray experiments requires computational techniques that relate gene expression data to functional information. Traditionall...