Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ICSOC (18. : 2020 : Online) Service-oriented computing - ICSOC 2020 Workshops
1. Verfasser:	Garfatta, Ikram (VerfasserIn)
Weitere Verfasser:	Klai, Kaïs (VerfasserIn), Graïet, Mahamed (VerfasserIn), Gaaloul, Walid (VerfasserIn)
Pages:	2020
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Container-Based Network Architecture for Mobility, Energy and Security Management as a Service in IoT Environments	2021	Iqbal, Zahid
AuraEN: Autonomous Resource Allocation for Cloud-Hosted Data Processing Pipelines	2021	Samant, Sunil Singh
A Systematic Mapping Study in AIOps	2021	Notaro, Paolo
An Influence-Based Approach for Root Cause Alarm Discovery in Telecom Networks	2021	Zhang, Keli
Online Memory Leak Detection in the Cloud-Based Infrastructures	2021	Jindal, Anshul
Adaptive Summaries: A Personalized Concept-Based Summarization Approach by Learning from Users’ Feedback	2021	Ghodratnama, Samira
Am I Rare? an Intelligent Summarization Approach for Identifying Hidden Anomalies	2021	Ghodratnama, Samira
TAP: A Two-Level Trust and Personality-Aware Recommender System	2021	Yakhchi, Shahpar
Towards Knowledge-Driven Automatic Service Composition for Wildfire Prediction	2021	Taktak, Hela
A Novel Approach for Detecting IoT Botnet Using Balanced Network Traffic Attributes	2021	Shobana, M.
Botnet Sizes: When Maths Meet Myths	2021	Chiapponi, Elisa
Efficient Threat Hunting Methodology for Analyzing Malicious Binaries in Windows Platform	2021	Elmisery, Ahmed M.
Staking Assets Management on Blockchains: Vision and Roadmap	2021	Driessen, Stefan
Towards a Rule-Based Recommendation Approach for Business Process Modeling	2021	Sola, Diana
Towards a Privacy Conserved and Linked Open Data Based Device Recommendation in IoT	2021	Komeiha, Fouad
Data Interaction for IoT-Aware Wearable Process Management	2021	Schönig, Stefan
SiDD: The Situation-Aware Distributed Deployment System	2021	Képes, Kálmán
Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures	2021	Cotroneo, Domenico
Using Language Models to Pre-train Features for Optimizing Information Technology Operations Management Tasks	2021	Liu, Xiaotong
Localization of Operational Faults in Cloud Applications by Mining Causal Dependencies in Logs Using Golden Signals	2021	Aggarwal, Pooja

Alle Artikel auflisten