Zobrazeno 1 - 10
of 571
pro vyhledávání: '"John, Mylopoulos"'
Publikováno v:
Energies, Vol 17, Iss 14, p 3568 (2024)
The transactive energy market (TEM) is a recent development in energy management that enables prosumers to trade directly, promising many environmental and economic benefits. Prosumer trading necessitates sharing information to facilitate transaction
Externí odkaz:
https://doaj.org/article/07b74413dd7e47e3875ffeccc88fd6fd
Publikováno v:
Modelling, Vol 4, Iss 2, Pp 133-167 (2023)
Socio-cyber-physical systems (SCPSs) have emerged as networked heterogeneous systems that incorporate social components (e.g., business processes and social networks) along with physical (e.g., Internet-of-Things devices) and software components. Mod
Externí odkaz:
https://doaj.org/article/ac5196a5b9c24281b3683abb94f8c8f0
Publikováno v:
IEEE Access, Vol 11, Pp 65872-65890 (2023)
Smart contracts are software systems that monitor, automate, and control the execution of a process, react to violations, and enforce process terms and conditions. There is tremendous interest in developing smart contract applications in banking, fin
Externí odkaz:
https://doaj.org/article/17d264f19e954ebd80450bdc0320c062
Publikováno v:
Energies, Vol 17, Iss 4, p 878 (2024)
The transactive energy market is an emerging development in energy economics built on advanced metering infrastructure. Data generated in this context is often required for market operations, while also being privacy sensitive. This dual concern has
Externí odkaz:
https://doaj.org/article/1c455c3a752f4734ac207b4754f648a5
Publikováno v:
Energies, Vol 16, Iss 13, p 4838 (2023)
Advances in energy generation and distribution technology have created the need for new power management paradigms. Transactive energy markets are integrated software and hardware systems that enable optimized energy management and direct trading bet
Externí odkaz:
https://doaj.org/article/0142cc3be27a43cda8d2640b15a82a54
Publikováno v:
Informatics, Vol 9, Iss 4, p 72 (2022)
The aim of the research is to semi-automate the process of generating formal specifications from legal contracts in natural language text form. Towards this end, the paper presents a tool, named ContrattoA, that semi-automatically conducts semantic a
Externí odkaz:
https://doaj.org/article/758bb2c1ff3a41d7873982aff3817d9d
Publikováno v:
Algorithms, Vol 15, Iss 10, p 343 (2022)
Goal models are commonly used requirements engineering artefacts that capture stakeholder requirements and their inter-relationships in a way that supports reasoning about their satisfaction, trade-off analysis, and decision making. However, when the
Externí odkaz:
https://doaj.org/article/2140703befd24d0899e86675ae3eb901
Publikováno v:
Journal of Artificial Intelligence and Consciousness. 10:27-47
Consciousness refers to mental states of a cognitive agent that make it aware of elements of its environment and its own state. Phenomena of consciousness have been studied in Philosophy, Psychology and Cognitive Science. With the advent of Artificia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3df129bad42c74b01d38aabfc5b4261d
https://doi.org/10.1142/s270507852250014x
https://doi.org/10.1142/s270507852250014x
Autor:
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Publikováno v:
Software and Systems Modeling. 21:2395-2427
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::541976325692a6f0d0721de66beade86
https://doi.org/10.1007/s10270-022-01053-6
https://doi.org/10.1007/s10270-022-01053-6
Autor:
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
Complementary materials for the paperthat extendsthe conference paper :"Symboleo2SC: From Legal Contract Specifications to Smart Contracts" symboleo-js-coreincludes the implementation of the ontology of Symboleo. Symboleo2SC-demoincludes the five eva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca8f0cf741016794f96111bd1690fc3c
