Copertina

Towards a fundamental theory of modeling discrete systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fettke, Peter, Reisig, Wolfgang
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Databases
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Essentials of Petri nets
di: Reisig, Wolfgang, et al.
Pubblicazione: (2024)

Compositionality of Systems and Partially Ordered Runs
di: Fettke, Peter, et al.
Pubblicazione: (2026)

Once and for all: how to compose modules -- The composition calculus
di: Fettke, Peter, et al.
Pubblicazione: (2024)

Towards a Theoretical Foundation of Process Science
di: Fettke, Peter, et al.
Pubblicazione: (2024)

All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT
di: Corlay, Vincent, et al.
Pubblicazione: (2026)

Designing and Implementing a Generator Framework for a SIMD Abstraction Library
di: Pietrzyk, Johannes, et al.
Pubblicazione: (2024)

Towards a Unified Query Plan Representation
di: Ba, Jinsheng, et al.
Pubblicazione: (2024)

AI-Assisted SQL Authoring at Industry Scale
di: Maddila, Chandra, et al.
Pubblicazione: (2024)

Data Mesh: a Systematic Gray Literature Review
di: Goedegebuure, Abel, et al.
Pubblicazione: (2023)

Design and Development of a Web Platform for Blood Donation Management
di: Ali, Fatima Zulfiqar, et al.
Pubblicazione: (2025)

Search-Based Fuzzing For RESTful APIs That Use MongoDB
di: Ghianni, Hernan, et al.
Pubblicazione: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
di: Wei, Hengfeng, et al.
Pubblicazione: (2025)

Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
di: Laigner, Rodrigo, et al.
Pubblicazione: (2025)

LogDB: Multivariate Log-based Failure Diagnosis for Distributed Databases (Extended from MultiLog)
di: Zhang, Lingzhe, et al.
Pubblicazione: (2025)

A case study on the transformative potential of AI in software engineering on LeetCode and ChatGPT
di: Merkel, Manuel, et al.
Pubblicazione: (2025)

MulChain: Enabling Advanced Cross-Modal Queries in Hybrid-Storage Blockchains
di: Peng, Zhiyuan, et al.
Pubblicazione: (2025)

Scalability, Availability, Reproducibility and Extensibility in Islamic Database Systems
di: Siddiqui, Umar, et al.
Pubblicazione: (2025)

Conceptual Entity-Relationship Model: Underneath the Simplicity and Staticity
di: Al-Fedaghi, Sabah
Pubblicazione: (2025)

Scaling Automated Database System Testing
di: Zhong, Suyang, et al.
Pubblicazione: (2025)

Proving Cypher Query Equivalence
di: Tang, Lei, et al.
Pubblicazione: (2025)

Microservices and Real-Time Processing in Retail IT: A Review of Open-Source Toolchains and Deployment Strategies
di: Vashisht, Aaditaa, et al.
Pubblicazione: (2025)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
di: Liu, Dong
Pubblicazione: (2025)

Testing Database Systems with Large Language Model Synthesized Fragments
di: Zhong, Suyang, et al.
Pubblicazione: (2025)

Blaze: Compiling JSON Schema for 10x Faster Validation
di: Viotti, Juan Cruz, et al.
Pubblicazione: (2025)

Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation
di: Qureshi, Abdur Rehman Anwar, et al.
Pubblicazione: (2025)

A Systematic Review of FAIR-compliant Big Data Software Reference Architectures
di: Castro, João Pedro de Carvalho, et al.
Pubblicazione: (2025)

PandasBench: A Benchmark for the Pandas API
di: Broihier, Alex, et al.
Pubblicazione: (2025)

Seamless Data Migration between Database Schemas with DAMI-Framework: An Empirical Study on Developer Experience
di: Ramos-Vidal, Delfina, et al.
Pubblicazione: (2025)

vMODB: Unifying Event and Data Management for Distributed Asynchronous Applications
di: Laigner, Rodrigo, et al.
Pubblicazione: (2025)

Similarity-Based Assessment of Computational Reproducibility in Jupyter Notebooks
di: Hossain, A S M Shahadat, et al.
Pubblicazione: (2025)

Using ChatGPT to refine draft conceptual schemata in supply-driven design of multidimensional cubes
di: Rizzi, Stefano
Pubblicazione: (2025)

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
di: Rebmann, Adrian, et al.
Pubblicazione: (2024)

Dinkel: State-Aware and Granular Framework for Validating Graph Databases
di: Wüst, Celine, et al.
Pubblicazione: (2024)

Vextra: A Unified Middleware Abstraction for Heterogeneous Vector Database Systems
di: Suri, Chandan, et al.
Pubblicazione: (2026)

A Practical Framework for Flaky Failure Triage in Distributed Database Continuous Integration
di: Zhu, Jun-Peng, et al.
Pubblicazione: (2026)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
di: Ba, Jinsheng, et al.
Pubblicazione: (2023)

DIRT: Database-Integrated Random Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications
di: Ko, Ronny, et al.
Pubblicazione: (2022)

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
di: Ba, Jinsheng, et al.
Pubblicazione: (2026)

Flow with FlorDB: Incremental Context Maintenance for the Machine Learning Lifecycle
di: Garcia, Rolando, et al.
Pubblicazione: (2024)