Zobrazeno 1 - 10
of 115
pro vyhledávání: '"Calder, Muffy"'
Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This paper presents a practical, yet detailed guide to
Externí odkaz:
http://arxiv.org/abs/2405.20745
We present a study using new computational methods, based on a novel combination of machine learning for inferring admixture hidden Markov models and probabilistic model checking, to uncover interaction styles in a mobile app. These styles are then u
Externí odkaz:
http://arxiv.org/abs/2305.01656
Publikováno v:
EPTCS 348, 2021, pp. 167-175
Human-autonomy teaming (HAT) scenarios feature humans and autonomous agents collaborating to meet a shared goal. For effective collaboration, the agents must be transparent and able to share important information about their operation with human team
Externí odkaz:
http://arxiv.org/abs/2110.12579
The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents; most verification approaches are based on reasoning about implementations of BDI programming languages. We investigate an alternative approach based on reasoni
Externí odkaz:
http://arxiv.org/abs/2105.02578
Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probablistic bigraphs, and then again to action bigraphs, which include no
Externí odkaz:
http://arxiv.org/abs/2105.02559
Autor:
Archibald, Blair1 (AUTHOR), Calder, Muffy1 (AUTHOR), Sevegnani, Michele1 (AUTHOR), Xu, Mengwei1 (AUTHOR) mengwei.xu@glasgow.ac.uk
Publikováno v:
Software & Systems Modeling. Apr2024, Vol. 23 Issue 2, p343-367. 25p.
Sensor-driven systems are increasingly ubiquitous: they provide both data and information that can facilitate real-time decision-making and autonomous actuation, as well as enabling informed policy choices by service providers and regulators. But can
Externí odkaz:
http://arxiv.org/abs/1803.10478
This paper sets out a process of app analysis intended to support understanding of use but also redesign. From usage logs we infer activity patterns - Markov models - and employ probabilistic formal analysis to ask questions about the use of the app.
Externí odkaz:
http://arxiv.org/abs/1510.07898
Software developers cannot always anticipate how users will actually use their software as it may vary from user to user, and even from use to use for an individual user. In order to address questions raised by system developers and evaluators about
Externí odkaz:
http://arxiv.org/abs/1403.6678