3 citations · 3 across the 2 of their papers we have counts for
4 papers
A PLS blockchain for IoT applications: protocols and architecture
Alex Shafarenko
This paper proposes an architecture and a protocol suite for a permissioned blockchain for a local IoT network. The architecture is based on a sealed Sequencer and a Fog Server run…
A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Modularity and decontextualisation are core principles of a service-oriented architecture. However, the principles are often lost when it comes to an implementation of services, as…
Interface Reconciliation in Kahn Process Networks using CSP and SAT
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
We present a new CSP- and SAT-based approach for coordinating interfaces of distributed stream-connected components provided as closed-source services. The Kahn Process Network (KP…
CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks
Alex Shafarenko, Raimund Kirner
In this article we present the {\em Constraint Aggregation Language} (CAL), a declarative language for describing properties of stateless program components that interact by exchan…