Copertina

Concurrency Contracts for Designing Highly Available Replicated Data Types

Fuente: Wiley Open Access

Salvato in:

Dettagli Bibliografici
Autori principali:	Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
Natura:	Artículo Open Access
Pubblicazione:	Wiley 2025
Soggetti:	Software: Practice and Experience
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SNOW: An Effective Smart Contract Reentrancy Vulnerability Detection Method Based on Joint Feature Graph and Hybrid Graph Neural Network
di: Wenjuan Lian, et al.
Pubblicazione: (2025)

Search Multiple Types of Research Assets From Jupyter Notebook
di: Na Li, et al.
Pubblicazione: (2025)

DesignScrum–An agility educational resource powered by creativity
di: Carlos Villarrubia, et al.
Pubblicazione: (2024)

A Programming Platform Design for Children to Create and Explore Hybrid Musical Instruments
di: Nicolas Gold, et al.
Pubblicazione: (2025)

Design and Implementation of a Multiuser Enterprise Resource Planning Solution for Higher Education Institutions: Enhancing Accreditation and Administration
di: Divyansh Bansal, et al.
Pubblicazione: (2026)

Data privacy protection model based on blockchain in mobile edge computing
di: Junhua Wu, et al.
Pubblicazione: (2024)

Quality of Experience Based Dynamic Path Serverless Data Pipelines in Edge/Fog Computing
di: Sreenivasu Mirampalli, et al.
Pubblicazione: (2025)

An Event Frequency‐Inverse Session Frequency Based Weighting Mechanism for Data Embedding Methodologies
di: Nail Tasgetiren, et al.
Pubblicazione: (2025)

HBAC: Hierarchical‐Based Access Control Model for Storage Management in Data Lake Environments
di: Yisac Hong, et al.
Pubblicazione: (2026)

An Efficient Computing Offloading for Network Resources in IoT Big Data Using Deep Reinforcement Learning
di: Mohammad Hjouj Btoush, et al.
Pubblicazione: (2026)

A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources
di: Tadeu Freitas, et al.
Pubblicazione: (2025)

Fly: Femtolet‐based edge‐cloud framework for crop yield prediction using bidirectional long short‐term memory
di: Tanushree Dey, et al.
Pubblicazione: (2024)

Kulla‐RIV: A composing model with integrity verification for efficient and reliable data processing services
di: Hugo G. Reyes‐Anastacio, et al.
Pubblicazione: (2024)

Evaluating Multi‐Label Machine Learning Models for Smart Home Environments
di: Diego Corrêa da Silva, et al.
Pubblicazione: (2025)

Faster Wavelet Tree Queries
di: Florian Kurpicz, et al.
Pubblicazione: (2025)

Practical Adaptive Dynamic Bitvectors
di: Gonzalo Navarro
Pubblicazione: (2025)

A Comprehensive Review of ns‐3‐Based Simulation Frameworks for LEO Satellite Constellations: Capabilities and Limitations
di: Pilar Manzanares‐Lopez, et al.
Pubblicazione: (2025)

Confidential Computing Across Edge‐To‐Cloud for Machine Learning: A Survey Study
di: Sm Zobaed, et al.
Pubblicazione: (2025)

Performance Analysis and Comparison of Node.Js and Java Spring Boot in Implementation of Restful Applications
di: J. S. Shyam Mohan, et al.
Pubblicazione: (2025)

Exploring Influence Factors on LLM Suitability for No‐Code Development of End User Applications
di: Minghe Wang, et al.
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2025)

Early Response Framework for Accident Detection and Prevention Through Multi‐Zone Fog‐Cloud Collaboration for Safety‐Critical Applications
di: Moumita Mishra, et al.
Pubblicazione: (2025)

Automating Algorithm Experiments With ALGator: From Problem Modeling to Reproducible Results
di: Tomaž Dobravec
Pubblicazione: (2025)

Enhanced Architecture of Structure Semantics for Syntax‐Aware Code Generation
di: Canmiao Zhou, et al.
Pubblicazione: (2025)

SlowSort: An Enhanced Sorting Algorithm for Large‐Scale Integer Datasets
di: Pengfei Wang, et al.
Pubblicazione: (2025)

QFI‐Opt: Communication‐Efficient Quantum Federated Learning via Quantum Fisher Information
di: Rui Zhang, et al.
Pubblicazione: (2025)

On the Energy Consumption of ATL Transformations
di: Riccardo Rubei, et al.
Pubblicazione: (2025)

A Method for the Quality‐Aware Automated Selection of Deployment Technologies
di: Miles Stötzner, et al.
Pubblicazione: (2025)

On‐Demand Deployment of Edge Cloud Infrastructures for Federated Learning
di: Eduardo Huedo, et al.
Pubblicazione: (2025)

RGPRec: A RAG‐Enhanced GNN for Personalized Task Recommendations in Open‐Source Communities
di: Shiyu He, et al.
Pubblicazione: (2025)

On the Performance and Memory Footprint of Distributed Training: An Empirical Study on Transformers
di: Zhengxian Lu, et al.
Pubblicazione: (2025)

Generative AI for Requirements Engineering: A Systematic Literature Review
di: Haowei Cheng, et al.
Pubblicazione: (2025)

InteropUnityCUDA: A Tool for Interoperability Between Unity and CUDA
di: David Algis, et al.
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2025)

SmellyBot: An AI‐Powered Software Bot for Code Smell Detection
di: Amal Alazba, et al.
Pubblicazione: (2025)

NoCodeGPT: A No‐Code Interface for Building Web Apps With Language Models
di: Mauricio Monteiro, et al.
Pubblicazione: (2025)

Detecting Microservice's Architectural Anti‐Pattern Indicators Using Graph Neural Networks
di: Taravat Monsef, et al.
Pubblicazione: (2025)

Improving Energy Efficiency in Iot Edge Computing Through Dynamic Deep Q‐Network Based Resource Management
di: Aditya Bhushan, et al.
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2025)

Special Issue on Edge Intelligence Software Systems for Internet of Autonomous Unmanned Vehicles Journal of Software: Practice and Experience (Wiley Press)
di: Kaijian Xia, et al.
Pubblicazione: (2025)