From: Data offloading in IoT environments: modeling, analysis, and verification
Places | Mappings | Descriptions |
---|---|---|
φ(R _ Info) | \( {\displaystyle \begin{array}{l}\mathbb{P}\Big(N1\times N2\times {M}_D\times {M}_{CD\_N1\_D}\times {M}_{CD\_N2\_D}\\ {}\times {M}_{ICT\_N1\_D}\times {M}_{ICT\_N2\_D}\times {SL}_{AU\_N1\_N2\_D}\ \\ {}\times {M}_{ID}\times {M}_{TTL\_F}\times {M}_{SIZE}\times {M}_{ACK\_F}\Big)\end{array}} \) | Same as Table 4, only CD- and ICT-based utilities of Com-N are replaced with mean CDs and ICTs and a sorted list of subtracted AUs of Com-N is introduced. |
φ(CD) | ℙ(N1 × N2 × MD × MCD _ N1 _ D × MCD _ N2 _ D) | Same as Table 4, mean CDs replace CD-based utilities. |
φ (ICT) | ℙ(N1 × N2 × MD × MICT _ N1 _ D × MICT _ N2 _ D) | Same as Table 4, mean ICTs replace ICT-based utilities. |
φ(PML | ℙ(MID _ P) | Holds the PML of a node. |