384 search results - page 18 / 77 » HYPE Applied to the Modelling of Hybrid Biological Systems |
126
click to vote
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
113
click to vote
RTSS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
106
click to vote
ENDM
2000
15 years 1 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
117
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
152
click to vote
CEC
2010
IEEE
14 years 8 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...