41938 search results - page 470 / 8388 » Complex Systems Modeling |
181
Voted
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
194
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
294
click to vote
DAI
1998
Springer
15 years 11 months ago
1998
Springer
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
192
click to vote
FATES
2003
Springer
16 years 2 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
156
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...