Zobrazeno 1 - 10
of 857
pro vyhledávání: '"Cavalcanti, Ana"'
Autor:
Feng, Nick, Marsso, Lina, Yaman, S. Getir, Standen, Isobel, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victória Oldemburgo, Townsend, Bev, Bartels, Hanne, Cavalcanti, Ana, Calinescu, Radu, Chechik, Marsha
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these requirements are typically defined by non-technical system stakehold
Externí odkaz:
http://arxiv.org/abs/2404.12335
Autor:
Feng, Nick, Marsso, Lina, Yaman, Sinem Getir, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victória Oldemburgo, Townsend, Beverley, Standen, Isobel, Stefanakos, Ioannis, Imrie, Calum, Rodrigues, Genaína Nunes, Cavalcanti, Ana, Calinescu, Radu, Chechik, Marsha
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, and cultural (SLEEC) norms and values of their stakeholders. No
Externí odkaz:
http://arxiv.org/abs/2401.05673
Autor:
Yaman, Sinem Getir, Cavalcanti, Ana, Calinescu, Radu, Paterson, Colin, Ribeiro, Pedro, Townsend, Beverley
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compliance with these norms, the rules they induce need to be unambiguously
Externí odkaz:
http://arxiv.org/abs/2307.03697
Autor:
Cavalcanti, Ana Paula Chedid
A perícia é uma ferramenta utilizada pelo sistema judiciário para que informações técnicas adicionais ou de melhor acurácia sejam apuradas e possam assim auxiliar na tomada de decisão sentencial. O presente estudo tem a proposta de analisar l
In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process algebra tock-CSP provides textual notations for modelling discrete-tim
Externí odkaz:
http://arxiv.org/abs/2104.13434
The process algebra tock-CSP provides textual notations for modelling discrete-time behaviours, with the support of various tools for verification. Similarly, automatic verification of Timed Automata (TA) is supported by the real-time verification to
Externí odkaz:
http://arxiv.org/abs/2008.06935
Reactive programs combine traditional sequential programming constructs with primitives to allow communication with other concurrent agents. They are ubiquitous in modern applications, ranging from components systems and web services, to cyber-physic
Externí odkaz:
http://arxiv.org/abs/2007.13529
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.