A Model-Driven Approach for Smart Card Configuration
Abstract elided by the publisher.
Related papers
- Experience report: playing the DSL card ICFP 2008
- Model-Driven Configuration and Deployment of Component Middleware Publish/Subscribe Services GPCE 2004
- SigVM: enabling event-driven execution for truly decentralized smart contracts OOPSLA 2022
- Automatic Code and Test Generation of Smart Contracts from Coordination Models ECOOP 2026
- Java bytecode compression for low-end embedded systems TOPLAS 2000
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Model-driven generative framework for automated OMG DDS performance testing in the cloud GPCE 2013
- Diffy: Data-Driven Bug Finding for Configurations PLDI 2024