An energy-efficient QoS-aware media access control protocol for wireless sensor networks
Y Liu, I Elhanany, H Qi - … on Mobile Adhoc and Sensor Systems …, 2005 - ieeexplore.ieee.org
We present an innovative MAC protocol (Q-MAC) that minimizes the energy consumption in
multi-hop wireless sensor networks (WSNs) and provides quality of service (QoS) by …
multi-hop wireless sensor networks (WSNs) and provides quality of service (QoS) by …
Liveness in broadcast networks
P Chini, R Meyer, P Saivasan - International Conference on Networked …, 2019 - Springer
We study two liveness verification problems for broadcast networks, a system model of
identical clients communicating via message passing. The first problem is liveness …
identical clients communicating via message passing. The first problem is liveness …
Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes
We introduce a new class of security protocols with an unbounded number of sessions and
unlimited fresh data for which the problem of secrecy is decidable. The only constraint we …
unlimited fresh data for which the problem of secrecy is decidable. The only constraint we …
Liveness in broadcast networks
P Chini, R Meyer, P Saivasan - Computing, 2022 - Springer
We study liveness and model checking problems for broadcast networks, a system model of
identical clients communicating via message passing. The first problem that we consider is …
identical clients communicating via message passing. The first problem that we consider is …