5 ATTO DI CONVEGNO SU VOLUME

5 ATTO DI CONVEGNO SU VOLUME: [4333] Home page macrotipologia

Sfoglia

Prodotti recenti

A Choreography-Driven Approach for Blockchain-Based IoT Applications

The engineering of Internet of Things applications always requires more and more devices to be connected and collaborate in a secure and trusted environment. However, this is not always possible unless considering the adoption of alternative technologies such as blockchain. For this reason, the development of blockchain-based IoT applications is gaining even more interest both in industry and academia. Nevertheless, the combination between IoT and blockchain is perceived as a time and resourc...

TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs

Every day Public Administrations (PA) provide citizens with plenty of services. Due to different factors, such as the involvement of different human resources or the will to deliver lean and versatile services, the same service can show some variability across different organizations. Log files contain the proof of PA process’ variability thus, being able to analyze logs, can be very helpful both for the PA, in order to establish good practices or contextual rules, as well as for the software...

Engineering Trustable Choreography-based Systems Using Blockchain

The adoption of model-driven engineering methodologies contributes to reduce the complexity of developing distributed systems. A key point to master such complexity is the use of modelling languages, such as the BPMN standard. This permits to specify choreography diagrams describing, from a global point of view, the interactions that should occur among distributed components in order to reach given goals. Even though BPMN choreographies are promising to increase business possibilities, their ...

RobTL: Robustness Temporal Logic for CPS

We propose Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPS) over a finite time horizon. RobTL specifications allow us to measure the differences in the behaviours of systems with respect to various objectives and temporal constraints, and to study how those differences evolve in time. Specifically, the unique features of RobTL allow us to specify robustness properties of CPS against...

Robot Based Computing System: An Educational Experience

Robot based computing systems have been widely investigated in the last years. One of the main issues is to solve global tasks by means of local and simple computations. Robots might be cooperative or competitive, still the algorithm designer has to detect a way to accomplish the desired task. In this paper, we propose a platform made up of small and self-propelled robots with very limited capabilities in terms of computing resources, storage and sensing. In particular, we consider cheap robo...

Scopri

Accesso al fulltext

no fulltext3580
reserved387
open343
partially open23