6047 search results - page 145 / 1210 » Modeling with Extend |
ICARIS
2007
Springer
15 years 5 months ago
2007
Springer
The idiotypic network has a long and chequered history in both theoretical immunology and Artificial Immune Systems. In terms of the latter, the drive for engineering applications ...
117
Voted
WSC
2004
15 years 3 months ago
2004
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
110
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
116
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
166
Voted
BICA
2010
14 years 8 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...