Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Ursula Goltz"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 64, Iss Proc. EXPRESS 2011, Pp 119-131 (2011)
Given a synchronous system, we study the question whether the behaviour of that system can be exhibited by a (non-trivially) distributed and hence asynchronous implementation. In this paper we show, by counterexample, that synchronous systems cannot
Externí odkaz:
https://doaj.org/article/e178ba2157754be38541a819d08101f8
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 3 (2013)
We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be implemente
Externí odkaz:
https://doaj.org/article/80abf34e53cc436192b196957c1f4cf5
Publikováno v:
Acta Informatica. 57:313-320
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c67f5d6a87b7cb9ba63f1ca15291cb9
https://doi.org/10.1007/s00236-020-00381-8
https://doi.org/10.1007/s00236-020-00381-8
The authors present a new approach to the modelling of human driving behaviour, which describes driving behaviour as the result of an optimisation process within the formal framework of hybrid automata. In contrast to most approaches, the aim is not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::908cd896a5e55a33eb1687376d5d4806
Publikováno v:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy ISBN: 9783030311742
The Art of Modelling Computational Systems
The Art of Modelling Computational Systems
We analyse two translations from the synchronous into the asynchronous \(\pi \)-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous \(\pi \)-calculus is just as expressive as the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ec43653d01d22f594d737c157138e30
https://doi.org/10.1007/978-3-030-31175-9_11
https://doi.org/10.1007/978-3-030-31175-9_11
Publikováno v:
Mathematical Structures in Computer Science. 26:1459-1498
Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich. This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ef551d5e9b5da450f5967384c4cd703
https://doi.org/10.1017/s0960129514000644
https://doi.org/10.1017/s0960129514000644
Autor:
Ursula Goltz, Sascha Lity, Matthias Hagner, Christoph Legat, Malte Lochau, Johannes Bürdek, Andy Schürr
Publikováno v:
at - Automatisierungstechnik. 62:771-780
The software constitutes a major part of nowadays automation systems being responsible for conducting complex control tasks. Machines and plants are often unique in some industrial branches; hence, they become mechatronic products configured individu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::156991991f445c86fc14206b471165a4
https://doi.org/10.1515/auto-2014-1099
https://doi.org/10.1515/auto-2014-1099
Autor:
Ursula Goltz, Ralf Reussner, Lukas Märtin, Michael Goedicke, Birgit Vogel-Heuser, Wilhelm Hasselbring
Publikováno v:
Computer Science - Research and Development. 30:321-331
Innovative software engineering methodologies, concepts and tools which focus on supporting the ongoing evolution of complex software, in particular regarding its continuous adaptation to changing functional and quality requirements as well as platfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1a6513bdb7f0cc089b61b70c6afb9f0
https://doi.org/10.1007/s00450-014-0273-9
https://doi.org/10.1007/s00450-014-0273-9
Publikováno v:
Journal of Systems and Software. 91:63-84
Software architecture specifications are of growing importance for coping with the complexity of large-scale systems. They provide an abstract view on the high-level structural system entities together with their explicit dependencies and build the b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c19cdc7814d8e63ead35983b505ce4e
https://doi.org/10.1016/j.jss.2013.11.1096
https://doi.org/10.1016/j.jss.2013.11.1096
Publikováno v:
Electronic Notes in Theoretical Computer Science. 297:47-59
Hybrid modelling techniques have evolved as a tool to design, verify and guide the implementation of embedded systems. However they can—and we think should—be used to express quantitative models about hybrid systems in other domains, e.g. empiric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfeb7d51440d40ec1e88e0c938214cb0