5 ATTO DI CONVEGNO SU VOLUME

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

Sfoglia

Prodotti recenti

Ovine Paratuberculosis: intra-herd incidence study and assessment of commercial (ID.VET, France) indirect milk ELISA test performance in dairy sheep

Ovine paratuberculosis is chronic disease affecting domestic and wild ruminants caused by Mycobacterium avium subsp. paratuberculosis (MAP). The infection causes significant economic losses worldwide and was associated to several human diseases as well. Until now, no confirmatory MAP screening technique revealing the disease stages in infected animals has been developed. This is mainly due to the lack of an efficient gold-standard method that can properly evaluate the performance of diagnost...

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...

Scopri

Accesso al fulltext

no fulltext3581
reserved388
open343
partially open23