Collections in this community

Recent Submissions

  • Identifying necessary and sufficient conditions for the observability of models of biochemical processes 

    Lecca P; Re A (2019)
    The notions of observability and controllability of non-linear systems are a cornerstone of mathematical control theory and cover a wide scope of applications including process design, characterization, monitoring and ...
  • Log mining to re-construct system behavior: an exploratory study on a large telescope system 

    Pettinato M; Gil JP; Galeas P; Russo B (2019)
    Context: A large amount of information about system behavior is stored in logs that record system changes. Such information can be exploited to discover anomalies of a system and the operations that cause them. Given their ...
  • What recommendation systems for software engineering recommend: A systematic literature review 

    Gasparic M; Janes A (Elsevier Inc., 2016)
    A recommendation system for software engineering (RSSE) is a software application that provides information items estimated to be valuable for a software engineering task in a given context. Present the results of a ...
  • The Robot Operating System: Package reuse and community dynamics 

    Estefo P; Simmonds J; Robbes R; Fabry J (ELSEVIER SCIENCE INC, 2019)
    ROS, the Robot Operating System, offers a core set of software for operating robots that can be extended by creating or using existing packages, making it possible to write robotic software that can be reused on different ...
  • A Lightweight Container Middleware for Edge Cloud Architectures 

    von Leon D; Miori L; Sanin J; El Ioini N; Helmer S; Pahl C (Wiley, 2018)
    Containers form the basis of a middleware platform that suits the needs of platform‐as‐a‐service (PaaS) clouds, where application packaging and orchestration are key issues. This chapter introduces architecture requirements ...
  • Do you need infinite time? 

    Artale A; Mazzullo A; Ozaki A (IJCAI, 2019)
    Linear temporal logic over finite traces is used as a formalism for temporal specification in automated planning, process modelling and (runtime) verification. In this paper, we investigate first-order temporal logic over ...
  • Temporal DL-Lite over finite traces (preliminary results) 

    Artale A; Mazzullo A; Ozaki A (CEUR-WS, 2019)
    We transfer results on the temporal DL-Lite family of logics, moving from infinite models of linear time to the case of finite traces. In particular, we investigate the complexity of the satisfiability problem in various ...
  • Prediction of music pairwise preferences from facial expressions 

    Tkalčič M; Elahi M; Maleki N; Ricci F; Pesek M; Marolt M (ACM, 2019)
    Users of a recommender system may be requested to express their preferences about items either with evaluations of items (e.g. a rating) or with comparisons of item pairs. In this work we focus on the acquisition of pairwise ...
  • Identifying Innovative Idea Proposals with Topic Models—A Case Study from SPA Tourism 

    Sottocornola G; Stella F; Symeonidis P; Zanker M; Krajger I; Faullant R; Schwarz E (Springer, 2019)
    This chapter builds on a dataset where online users of a spa platform participated in an online idea contest providing free-text descriptions of their proposals for spa services. A panel of domain experts annotated these ...
  • A model of Requirements Engineering in Software Startups 

    Melegati J; Goldman A; Kon F; Wang X (2019)
    Context: Over the past 20 years, software startups have created many products that have changed human life. Since these companies are creating brand-new products or services, requirements are difficult to gather and highly ...
  • Distributed CTL model checking using MapReduce: theory and practice 

    Bellettini C; Camilli M; Capra L; Monga M (2016)
    The recent extensive availability of 'cloud' computing platforms is very appealing for the formal verification community. In fact, these platforms represent a great opportunity to run massively parallel jobs and analyze ...
  • Evaluating compliance: From LTL to abductive logic programming 

    Chesani F; Gavanelli M; Lamma E; Mello P; Montali M (2018)
    The compliance verification task amounts to establishing if the execution of a system, given in terms of observed happened events, does respect a given property. In the past both the frameworks of Temporal Logics and Logic ...
  • Cloud Computing and the new EU General Data Protection Regulation 

    Russo B; Valle L; Tosi D; Locatello D; Bonzagni G; Pancaldi M (2018)
    Disclosing personal data for a purpose not known by data subjects is a practice that the 2018 EU General Data Protection Regulation (GDPR) is supposed to prevent. This article overviews the major aspects of the GDPR related ...
  • MapReduce and Streaming Algorithms for Diversity Maximization in Metric Spaces of Bounded Doubling Dimension 

    Ceccarello M; Pietracaprina A; Pucci G; Upfal E (2017)
    Given a dataset of points in a metric space and an integer k, a diversity maximization problem requires determining a subset of k points maximizing some diversity objective measure, e.g., the minimum or the average distance ...
  • Ubiquitous technologies for older people 

    Cozza M; De Angeli A; Tonolli L (2017)
    In this paper, we present a close reading of work in ubicomp of applications for older people. Starting from three lines of enquiry defined in the inaugural issue of this journal, we discuss how ubicomp research has presented ...
  • Clustering Uncertain Graphs 

    Ceccarello M; Fantozzi C; Pietracaprina A; Pucci G; Vandin F (2017)
    An uncertain graph G = (V, E, p : E -> (0, 1]) can be viewed as a probability space whose outcomes (referred to as possible worlds) are subgraphs of G where any edge e is an element of E occurs with probability p(e), ...
  • Hybrid deterministic/stochastic simulation of complex biochemical systems 

    Lecca P; Bagagiolo F; Scarpa M (2017)
    In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by complex networks of chemical reactions involving genes, proteins, and enzymes. Accurate computational models ...
  • Biography of a Design Project through the Lens of a Facebook Page 

    Menendez Blanco M; De Angeli A; Teli M (2017)
    This paper presents spazioD, a design case around the topic of dyslexia. Building on selected contributions from the literature on infrastructuring in participatory design and publics, it proposes that digital platforms ...
  • Strategies and systems towards grids and clouds integration: A DBMS-based solution 

    Mariotti M; Gervasi O; Vella F; Cuzzocrea A; Costantini A (Elsevier B.V., 2018)
    Cloud and Grid computing share some essential driving ideas although the computing and economic models are very different. In this paper, we propose different strategies for the Batch-oriented and Service-oriented computing ...
  • Multilevel parallelism for the exploration of large-scale graphs 

    Bernaschi M; Bisson M; Mastrostefano E; Vella F (Institute of Electrical and Electronics Engineers Inc., 2018)
    We present the most recent release of our parallel implementation of the BFS and BC algorithms for the study of large scale graphs. Although our reference platform is a high-end cluster of new generation NVIDIA GPUs and ...

View more