In this demo we present X-Time, a prototype for managing schema versioning in relational data warehouses, specifically oriented to support the formulation of crossversion queries,...
—This paper presents a framework used for analyzing decisions regarding implementations of service oriented architectures. The framework assesses the business value of SOA by mea...
It is shown that every orthogonal terrain, i.e., an orthogonal (rightangled) polyhedron based on a rectangle that meets every vertical line in a segment, has a grid unfolding: its...
Entropy (i.e. convex integral) functionals and extensions of these functionals are minimized on convex sets. This paper is aimed at reducing as much as possible the assumptions on ...
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...