All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:39, 24 December 2023 SatoshiNakamoto talk contribs created page Scalable Probabilistic Models for 802.11 Protocol Verification (Created page with "Title: Scalable Probabilistic Models for 802.11 Protocol Verification Abstract: This research aims to create more scalable and accurate models for the 802.11 protocol, enabling efficient verification of real-time properties. The authors identify ways to simplify probabilistic models, optimize them using probabilistic timed automata, and develop a formal framework to reduce state space. Their optimizations, including abstracting away the acknowledgment protocol and deter...")