Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Autonomous distributed systems"'
Publikováno v:
25th International Conference on Principles of Distributed Systems (OPODIS 2021)
OPODIS 2021-25th International Conference on Principles of Distributed Systems
OPODIS 2021-25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.9:1--9:17, ⟨10.4230/LIPIcs.OPODIS.2021.9⟩
International Conference on Principles of Distributed Systems
International Conference on Principles of Distributed Systems, Jan 2021, Strasbourg, France
OPODIS 2021-25th International Conference on Principles of Distributed Systems
OPODIS 2021-25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.9:1--9:17, ⟨10.4230/LIPIcs.OPODIS.2021.9⟩
International Conference on Principles of Distributed Systems
International Conference on Principles of Distributed Systems, Jan 2021, Strasbourg, France
We consider the gathering problem for asynchronous and oblivious robots that cannot communicate explicitly with each other, but are endowed with visibility sensors that allow them to see the positions of the other robots. Most of the investigations o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c13cf48bf1031232288fbf4e1f12cb0
The main objective of this book is to provide insights into recent advances in distributed intelligent circuits, systems and their applications. Distributed intelligence is the key enabler for innovations in machine-to-machine communications. The inn
The chasm between the physical capabilities of Intelligent Robotics and Autonomous Systems (IRAS) and their cognitive potential presents a formidable challenge. While these machines exhibit astonishing strength, precision, and speed, their intelligen
Publikováno v:
Formal Methods in System Design. 51:200-265
Static verification techniques are used to analyse and prove properties about programs before they are executed. Many of these techniques work directly on the source code and are used to verify data-oriented properties over all possible executions. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66ab5014d76cb870dffcfb92f1920811
https://doi.org/10.1007/s10703-017-0274-y
https://doi.org/10.1007/s10703-017-0274-y
Autor:
Vella, Annalizz, Francalanza, Adrian, First Workshop on Pre- and Post- Deployment Verification Techniques
Publikováno v:
PrePost@IFM
Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 54-63 (2016)
Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 54-63 (2016)
This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e.,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4929955f5b993bb9104be251783fde9
https://doi.org/10.4204/eptcs.208.5
https://doi.org/10.4204/eptcs.208.5
Autor:
Kinji Mori, Takashi Kunifuji
In a large and complex system, such as a railway network, it is often not an option to stop operation at any time. Even if a part of the system fails, is being repaired or modified, the system has to keep functioning. This leads to many requirements
This book introduces novel solutions to the rendezvous problem in distributed systems, a fundamental problem that underpins the construction of many important functions in distributed systems and networks. The book covers rendezvous theories, distrib
Publikováno v:
Ad Hoc Networks
Ad Hoc Networks, Elsevier, 2017, 94, pp.101612. ⟨10.1016/j.adhoc.2017.11.012⟩
Ad Hoc Networks, Elsevier, 2017, 94, pp.101612. ⟨10.1016/j.adhoc.2017.11.012⟩
International audience; The field of structural inspection acquired a new boost with the development of UAVs (Unmanned Aerial Vehicles). However, the flight time of a UAV is still short compared to the time needed to perform a complete structural ins
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18d90558217a210ce94f8172b1553226
https://hal.archives-ouvertes.fr/hal-02184513/file/AdHoc_Networks_SI_R2_final.pdf
https://hal.archives-ouvertes.fr/hal-02184513/file/AdHoc_Networks_SI_R2_final.pdf
Autor:
Adrian Francalanza, Duncan Paul Attard
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319661964
SEFM
SEFM
We propose an instrumentation technique for monitoring asynchronous component systems that departs from the traditional runtime verification set-up assuming a single execution trace. The technique generates partitioned traces that better reflect the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81d5d2ea75536dfeb9cf4be038e5f68f
https://doi.org/10.1007/978-3-319-66197-1_14
https://doi.org/10.1007/978-3-319-66197-1_14