77016 search results - page 321 / 15404 » Modeling |
206
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
116
click to vote
DNA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...
123
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
174
click to vote
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
130
click to vote
ISMDA
2004
Springer
15 years 10 months ago
2004
Springer
In bioinformatics, biochemical signal pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations...