Sökning: "Barbara Gallina"
Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Barbara Gallina.
1. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems
Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). LÄS MER
2. Systematic Design of Data Management for Real-Time Data-Intensive Applications
Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). LÄS MER
3. A Safety-centered Planning-time Framework for Automated Process Compliance Checking
Sammanfattning : Safety-critical systems, whose failure could lead to catastrophic consequences, are everywhere. Not only environments with high-risk functions, e.g., nuclear power plants, are safety-critical systems. LÄS MER
4. Facilitating Automated Compliance Checking of Processes against Safety Standards
Sammanfattning : A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. LÄS MER
5. A Framework for Risk Assessment in Augmented Reality-equipped Socio-technical Systems
Sammanfattning : .... LÄS MER