Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.05.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2135757886
@@ Property / OpenAlex ID: W2135757886 / rank @@
+Normal rank
@@ Property / cites work @@
+Development of the ALOHANET
@@ Property / cites work: Development of the ALOHANET / rank @@
+Normal rank
@@ Property / cites work @@
+Contention-Free MAC Protocols for Wireless Sensor Networks
+Normal rank
@@ Property / cites work @@
+Q4473714
@@ Property / cites work: Q4473714 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848422
@@ Property / cites work: Q2848422 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Algorithmic Aspects of Wireless Sensor Networks
@@ Property / cites work: Algorithmic Aspects of Wireless Sensor Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Packet Switching in Radio Channels: Part I--Carrier Sense Multiple-Access Modes and Their Throughput-Delay Characteristics
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813204
@@ Property / cites work: Q4813204 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
+Normal rank
@@ Property / cites work @@
+An abstract Monte-Carlo method for the analysis of probabilistic programs
+Normal rank
@@ Property / cites work @@
+Throughput Analysis for Persistent CSMA Systems
@@ Property / cites work: Throughput Analysis for Persistent CSMA Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Information processing in sensor networks. Second international workshop, IPSN 2003, Palo Alto, CA, USA, April 22--23, 2003. Proceedings
+Normal rank