Sciweavers

1371 search results - page 16 / 275
» A Model for Large Scale Self-Stabilization
Sort
View
78
Voted
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 10 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
MIG
2009
Springer
15 years 10 months ago
Interactive Modeling, Simulation and Control of Large-Scale Crowds and Traffic
Ming C. Lin, Stephen J. Guy, Rahul Narain, Jason S...
132
Voted
WCNC
2008
IEEE
15 years 10 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...
119
Voted
ECBS
2005
IEEE
84views Hardware» more  ECBS 2005»
15 years 9 months ago
Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages
Shweta Shetty, Steven Nordstrom, Shikha Ahuja, Di ...
95
Voted
IPPS
2005
IEEE
15 years 9 months ago
A Realistic Network/Application Model for Scheduling Divisible Loads on Large-Scale Platforms
Loris Marchal, Yang Yang, Henri Casanova, Yves Rob...