Sciweavers

384 search results - page 61 / 77
» HYPE Applied to the Modelling of Hybrid Biological Systems
Sort
View
BMCBI
2005
122views more  BMCBI 2005»
14 years 11 months ago
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
Katsuyuki Yugi, Yoichi Nakayama, Shigen Kojima, To...
ICAC
2008
IEEE
15 years 6 months ago
Generating Adaptation Policies for Multi-tier Applications in Consolidated Server Environments
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
Gueyoung Jung, Kaustubh R. Joshi, Matti A. Hiltune...
ESWS
2008
Springer
15 years 1 months ago
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
Matthias Bräuer, Henrik Lochmann
AGENTS
2001
Springer
15 years 4 months ago
Automatically tracking and analyzing the behavior of live insect colonies
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
Tucker R. Balch, Zia Khan, Manuela M. Veloso
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 3 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis