4346 search results - page 453 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
182
click to vote
MIE
2008
15 years 7 months ago
2008
The Gene Regulation Ontology (GRO) is designed as a novel approach to model complex events that are part of the gene regulatory processes. We introduce the design requirements for ...
184
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
165
click to vote
ESSMAC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...
190
click to vote
AUTONOMICS
2009
ACM
16 years 24 days ago
2009
ACM
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...
150
click to vote
DAWAK
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...