Three-Dimensional Drone Cell Placement: Drone Placement for Optimal Coverage.

Autor: Basu, Aniket¹ (AUTHOR) a.basu@greenwich.ac.uk, Oroojeni, Hooman¹ (AUTHOR), Samakovitis, Georgios¹ (AUTHOR), Al-Rifaie, Mohammad Majid¹ (AUTHOR) a.basu@greenwich.ac.uk

Publikováno v: Future Internet. Nov2024, Vol. 16 Issue 11, p401. 25p.

Requirements Level Semantics for UML Statecharts

Autor: Eshuis, Rik, Wieringa, Roel, Smith, S.F., Talcott, C.L.

Publikováno v: Formal Methods for Open Object-Based Distributed Systems IV ISBN: 9781475710182
FMOODS
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA, 121-140
STARTPAGE=121;ENDPAGE=140;TITLE=Formal Methods for Open Object-Based Distributed Systems IV

We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adapta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::deff42a4f80fed16da702ee93a3e6a85
https://doi.org/10.1007/978-0-387-35520-7_6

References, local variables and operational reasoning.

Autor: Mason, I.A., Talcott, C.L.

Publikováno v: 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science; 1992, p186-197, 12p

Actor languages Their syntax, semantics, translation, and equivalence

Autor: Mason, I.A., Talcott, C.L.

Publikováno v: Theoretical Computer Science; 1999, Vol. 220 Issue: 2 p409-467, 59p

A Coordinated Vehicle–Drone Arc Routing Approach Based on Improved Adaptive Large Neighborhood Search.

Autor: Wu, Guohua¹ (AUTHOR) guohuawu@csu.edu.cn, Zhao, Kexin¹ (AUTHOR) kx_zhao@csu.edu.cn, Cheng, Jiaqi¹ (AUTHOR) 204207032@csu.edu.cn, Ma, Manhao² (AUTHOR) mhma@nudt.edu.cn

Publikováno v: Sensors (14248220). May2022, Vol. 22 Issue 10, p3702-3702. 22p.