3605 search results - page 577 / 721 » System and simulation modeling using SysML |
169
Voted
CG
2008
Springer
15 years 3 months ago
2008
Springer
Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resul...
129
Voted
WSC
1998
15 years 4 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
129
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
126
Voted
SSS
2009
Springer
15 years 10 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
139
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
— The recent ECMA-368 standard specifies the use of ultra wideband (UWB) technology for high rate communications in wireless personal area networks (WPANs). This paper proposes ...