Author: Roberto Zicari

Principles of Tiered Storage

BY Stephen Dillon Tiered Storage is a concept gaining revitalized importance, as companies realize the costs associated with IoT. Although the concept of Tiered Storage dates to the 90s, modern storage and database solutions now...

Path Predicate Abstraction for Sound System-Level Modeling of Digital Circuits

Dissertation Joakim Henrik Urdahl Fachbereich Elektrotechnik und Informationstechnik der Technische Universität Kaiserslautern December, 15 2015 Motivation and Overview Even after years of progress both in simulation-based and formal verification techniques, System- on-Chip (SoC) verification...

A data-driven approach to optimizing IT services

BY Kristof Kloeckner, CTO and General Manager, Technology, Automation & Innovation, IBM Global Technology Services With nearly all industries undergoing a digital transformation, using information technology for competitive advantage is quickly becoming a critical...

DataSelf

By Wilco van Ginkel (wvg@seculior.com) – 26 July 2017 Introduction In this article, we discuss the concept of DataSelf, Verifiable Trust, and Trust Brokers. It is a summary of our paper ‘DataSelf & Me...