Articles - Computer Science
Browse by
Recent Submissions
-
A model of Requirements Engineering in Software Startups
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ... -
Dynamic merging of frontiers for accelerating the evaluation of betweenness centrality
(Association for Computing Machinery, 2018)Betweenness Centrality (BC) is a widely used metric of the relevance of a node in a network. The fastestknown algorithm for the evaluation of BC on unweighted graphs builds a tree representing information about the shortest ... -
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)
(2018)The area of Principles of Data Management (PDM) has made crucial contributions to the development of formal frameworks for understanding and managing data and knowledge. This work has involved a rich cross-fertilization ... -
A Methodology for Improving Vegetation Representation and Health Exploiting a Semantic Robotic System and Its Dynamic Stability Control
(2018)Precision farming technologies have been increasingly recognized for their potential ability for improving agricultural productivity, reducing production cost, and minimizing damage to the environment. In this context, the ... -
Modeling time, probability, and configuration constraints for continuous cloud service certification
(ELSEVIER ADVANCED TECHNOLOGY, 2018)Cloud computing proposes a paradigm shift where resources and services are allocated, provisioned, and accessed at runtime and on demand. New business opportunities emerge for service providers and their customers, at a ... -
A Generalized Evaluation Framework for Multimedia Recommender Systems
(2018)With the widespread availability of media technologies, such as real-time streaming, new Internet-of-Thing devices and smart phones, multimedia data are extensively increased and the big multimedia data rapidly spread over ... -
The positioning cards: on affect, public design, and the common
(Springer London, 2018)In this paper, we present a design tool, the positioning cards that we have developed, validated, and used in different projects. These cards are built to allow CI4CG and Participatory Design researchers to discuss the ... -
Zone-based formal specification and timing analysis of real-time self-adaptive systems
(2018)Self-adaptive software systems are able to autonomously adapt their behavior at run-time to react to internal dynamics and to uncertain and changing environment conditions. Formal specification and verification of self-adaptive ... -
How Monte Carlo heuristics aid to identify the physical processes of drug release kinetics
(Elsevier B.V., 2018)We implement a Monte Carlo heuristic algorithm to model drug release from a solid dosage form. We show that with Monte Carlo simulations it is possible to identify and explain the causes of the unsatisfactory predictive ... -
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
(2019)The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds on the notion of decision ...
RSS 1.0