2107 search results - page 9 / 422 » b 2007 |
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— There are many different channels defined in the IEEE 802.11 standard. However, the performance of WiFi networks still greatly suffers from the interference between users, eve...
ISOLA
2007
Springer
14 years 4 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
B
2007
Springer
14 years 4 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
B
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Most of the current 802.11b research activities are conducted under stationary environment. As the need for highspeed connectivity in mobile environments increases, it becomes n...