Zobrazeno 1 - 10
of 228
pro vyhledávání: '"Holger Giese"'
Publikováno v:
SUMO Conference Proceedings, Vol 4 (2023)
Deep Reinforcement Learning (DRL) is a promising data-driven approach for traffic signal control, especially because DRL can learn to adapt to varying traffic demands. For that, DRL agents maximize a scalar reward by interacting with an environment.
Externí odkaz:
https://doaj.org/article/1c22aa0928a646039c604196ed88df41
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks
Autor:
Thomas Beyhl, Holger Giese
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 231, Iss Proc. GaM 2016, Pp 57-71 (2016)
Nowadays, graph databases are employed when relationships between entities are in the scope of database queries to avoid performance-critical join operations of relational databases. Graph queries are used to query and modify graphs stored in graph d
Externí odkaz:
https://doaj.org/article/04094916dca04390a43fea530679be00
Autor:
Sona Ghahremani, Holger Giese
Publikováno v:
Computers, Vol 9, Iss 1, p 16 (2020)
Evaluating the performance of self-adaptive systems is challenging due to their interactions with often highly dynamic environments. In the specific case of self-healing systems, the performance evaluations of self-healing approaches and their parame
Externí odkaz:
https://doaj.org/article/c29bc94b66054ece9523f8d69f679b86
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 117, Iss Proc. QAPL 2013, Pp 66-80 (2013)
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal automata were i
Externí odkaz:
https://doaj.org/article/3a3a7f7f4844425280fee42bb678e3b0
Autor:
Christian Krause, Holger Giese
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 73, Iss Proc. INFINITY 2011, Pp 64-78 (2011)
The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so-called service level agreements (SLAs), such as the Web Service Level Agreement (WSLA) language, provide a formal syntax
Externí odkaz:
https://doaj.org/article/d83e4d3c551c4b7f836f87b6062b3476
Publikováno v:
Acta Informatica. 59:725-759
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58a84578766971d77af4da29195873b6
https://doi.org/10.1007/s00236-022-00419-z
https://doi.org/10.1007/s00236-022-00419-z
Publikováno v:
Software and Systems Modeling. 21:1789-1829
Modern software systems are intricate and operate in highly dynamic environments for which few assumptions can be made at design-time. This setting has sparked an interest in solutions that use a runtime model which reflects the system state and oper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c45b487b7ef28aa70a042aeab68e9317
https://doi.org/10.1007/s10270-021-00950-6
https://doi.org/10.1007/s10270-021-00950-6
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f9a2cf5e646481ca14a98ffe8156d68
https://doi.org/10.1145/3550356.3556501
https://doi.org/10.1145/3550356.3556501
Autor:
Johannes Dyck, Boris Flotterer, Sven Schneider, Holger Giese, Cédric Gaucherel, Christelle Hély, Maria Maximova, Christian Zöllner
Publikováno v:
Ecological Informatics. 75:101908
The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we model the space structure dynamics and ecological dynamics of meta-ecosystems using the form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0018a842e79d9a6267d6471c8403f7e3
https://doi.org/10.1016/j.ecoinf.2022.101908
https://doi.org/10.1016/j.ecoinf.2022.101908
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:411-488
Embedded real-time systems generate state sequences where time elapses between state changes. Ensuring that such systems adhere to a provided specification of admissible or desired behavior is essential. Formal model-based testing is often a suitable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ecfbcb4cc7d5abd868af4f1befeb9fb8
https://doi.org/10.1007/s10009-020-00585-w
https://doi.org/10.1007/s10009-020-00585-w