Works (9)
Updated: July 5th, 2023 15:39
2022 journal article
Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 36(1).
author keywords: Fault tolerance; Agent programming; Protocols
TL;DR:
Mandrake’s significance lies in demonstrating a straightforward approach for constructing decentralized applications without relying on coordination mechanisms in the infrastructure, thus achieving some of the goals of the founders of networked computing from the 1970s.
(via Semantic Scholar)
link.springer.com (publisher PDF)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(OpenAlex)
Sources: Web Of Science, ORCID
Added: February 28, 2022
2022 article
Multiagent Foundations for Distributed Systems: A Vision
ENGINEERING MULTI-AGENT SYSTEMS, Vol. 13190, pp. 62–71.
Sources: Web Of Science, ORCID
Added: March 10, 2022
2021 journal article
Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols
COMPUTER, 54(5), 44–53.
author keywords: Fault tolerance; Protocols; Fault tolerant systems
TL;DR:
Bungie is presented, an approach based on applicationlevel protocols that precisely capture the causality inherent to the interactions among agents that provides abstractions for achieving fault tolerance.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: May 11, 2021
2021 article
Deserv: Decentralized Serverless Computing
2021 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, ICWS 2021, pp. 51–60.
author keywords: multiagent systems; protocols; programming model
TL;DR:
Deserv is contributed, the first protocol-based programming model for decentralized applications that is suited to the cloud and demonstrates how to leverage function-as-a-service (FaaS), a popular serverless programming model, to implement agents.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Sources: Web Of Science, ORCID
Added: November 12, 2021
2021 journal article
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain
IEEE INTERNET COMPUTING, 25(4), 67–75.
author keywords: Blockchain; History; Smart contracts; Distributed ledger; Law; Authorization; Blockchain; Contract; Regulatory norm; Document store
TL;DR:
Hercule operationalizes declarative contracts over semistructured databases, the underlying representation for practical blockchain such as Hyperledger Fabric and Ethereum, and exploits the map-reduce capabilities of such stores to compute norm states.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: August 30, 2021
2021 article
Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications
PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), pp. 575–576.
author keywords: Commitments; information protocol; programming model
TL;DR:
This work demonstrates how to specify a decentralized application flexibly and how to engineer correct, fault-tolerant endpoints (agents) for the principals in a straightforward manner and shows how to address application semantics, the holy grail of distributed systems.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(OpenAlex)
Sources: Web Of Science, ORCID
Added: February 7, 2022
2020 chapter
Fault Tolerance in Multiagent Systems
In Engineering Multi-Agent Systems (pp. 78–86).
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: ORCID
Added: December 16, 2022
2020 journal article
Protocols Over Things: A Decentralized Programming Model for the Internet of Things
Computer, 53(12), 60–68.
author keywords: Protocols; Internet of Things; Logistics; Programming; Correlation; Decision making
TL;DR:
Protocols over Things, a decentralized programming model that represents an IoT application via a protocol between the parties involved and provides improved performance over network-level delivery guarantees, is contributed.
(via Semantic Scholar)
Source: ORCID
Added: November 26, 2020
2014 article
How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction
2014 SECOND IEEE WORKING CONFERENCE ON SOFTWARE VISUALIZATION (VISSOFT), pp. 87–96.
TL;DR:
It is shown that a foundational set of visual annotations that aid developers in better comprehending error messages when compilers expose their internal reasoning allow developers to give significantly better self-explanations when compared against today's dominant visualization paradigm.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science)
Sources: Web Of Science, ORCID
Added: August 6, 2018
Employment
Updated: December 6th, 2022 18:04
2020 - 2022
Lancaster University Lancaster, GB
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
