3765 search results - page 390 / 753 » Formal Methods for Systems Engineering Behavior Models |
191
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
181
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
213
click to vote
AIPS
2009
15 years 8 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
149
click to vote
IJMMS
1998
15 years 6 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
199
click to vote
ICA3PP
2005
Springer
16 years 10 days ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...