7918 search results - page 447 / 1584 » Model Composition Directives |
202
click to vote
ANSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Understanding mobility characteristics is important for the design and analysis of routing schemes for mobile ad hoc networks (MANETs). This is especially true for mobile opportun...
170
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
162
click to vote
JCIT
2008
15 years 6 months ago
2008
This paper was utilized robust model to simulate sea surface current pattern. The horizontal surface velocity model was modified based on the Doppler frequency theory to model the...
179
click to vote
GFKL
2007
Springer
16 years 1 months ago
2007
Springer
The analysis of genetic diseases has classically been directed towards establishing direct links between cause, a genetic variation, and effect, the observable deviation of phenot...
315
click to vote
AVI
2000
15 years 8 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...