Sciweavers

1371 search results - page 16 / 275
» A Model for Large Scale Self-Stabilization
Sort
View
FM
2009
Springer
127views Formal Methods» more  FM 2009»
14 years 2 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
MIG
2009
Springer
14 years 2 months ago
Interactive Modeling, Simulation and Control of Large-Scale Crowds and Traffic
Ming C. Lin, Stephen J. Guy, Rahul Narain, Jason S...
WCNC
2008
IEEE
14 years 1 months ago
Directional Dependence of Large Scale Parameters in Wireless Channel Models
—In this paper the autocorrelation properties of shadow fading and angle spread at both the base station (BS) and at the mobile station (MS) are analyzed using urban macro cellul...
Niklas Jalden, Per Zetterberg, Björn E. Otter...