Výsledky vyhledávání - "2012 ACM Subject Classification Theory of computation → Distributed computing models"

Decentralised Runtime Verification of Timed Regular Expressions

Autoři: Roussanaly, Victor Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) a další

Přispěvatelé: Roussanaly, Victor Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) a další

Zdroj: TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning ; https://inria.hal.science/hal-03911668 ; TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs.12⟩

Témata: 2012 ACM Subject Classification Theory of computation → Distributed computing models Theory of computation → Regular languages Theory of computation → Rewrite systems Theory of computation → Automata over infinite objects Computer systems organization → Real-time system specification phrases Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs.12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, Theory of computation → Regular languages, Theory of computation → Rewrite systems, Theory of computation → Automata over infinite objects, Computer systems organization → Real-time system specification phrases Timed expressions, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Online, France

Dostupnost: https://inria.hal.science/hal-03911668
https://inria.hal.science/hal-03911668v1/document
https://inria.hal.science/hal-03911668v1/file/time22.pdf
https://doi.org/10.4230/LIPIcs.12