Recent Submissions

  • Una semantica cognitiva per linguaggi predicativi 

    Masolo C; Porello D (2016)
    We propose and discuss a formal semantics for predicative languages in terms of cognitively meaningful structures, that is, in terms of the framework of conceptual spaces introduced by Gärdenfors. The motivation of this ...
  • DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases 

    Montali M; Rivkin A (Springer, 2017)
    The integrated management of business processes and master data is being increasingly considered as a fundamental problem, by both the academia and the industry. In this position paper, we focus on the foundations of the ...
  • Non-normal modalities in variants of linear logic 

    Porello D; Troquard N (Taylor and Francis Ltd., 2015)
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent ...
  • Single-peakedness and semantic dimensions of preferences 

    Porello D (OXFORD UNIV PRESS, 2016)
    Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails ...
  • Games for Query Inseparability of Description Logic Knowledge Bases 

    Botoeva E; Kontchakov R; Ryzhikov V; Wolter F; Zakharyaschev M (2016)
    We consider conjunctive query inseparability of description logic knowledge bases with respect to a given signature - a fundamental problem in knowledge base versioning, module extraction, forgetting and knowledge exchange.  ...
  • A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability Model 

    Mani N; Helfert M; Pahl C (2017)
    The business environment changes rapidly and needs to adapt to the enterprise business systems must be considered for new types of requirements to accept changes in the business strategies and processes. This raises new ...
  • How do developers react to API evolution? A large-scale empirical study 

    Hora A; Robbes R; Valente M; Anquetil N; Etien A; Ducasse S (Springer New York LLC, 2016)
    Software engineering research now considers that no system is an island, but it is part of an ecosystem involving other systems, developers, and users. When a framework or a library evolves, its clients often must adapt. ...
  • A context model for IDE-based recommendation systems 

    Gasparic M; Murphy G; Ricci F (2017)
    Context, as modeled through variables called contextual factors, can improve human-computer interaction. To date, in applications supporting software development, such as integrated development environments (IDEs) and ...
  • First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus 

    Calvanese D; De Giacomo G; Montali M; Patrizi F (2017)
    We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ...
  • DigitHist: a Histogram-Based Data Summary with Tight Error Bounds 

    Shekelyan M; Dignös A; Gamper J (2017)
    We propose DigitHist, a histogram summary for selectivity estimation on multi-dimensional data with tight error bounds. By combining multi-dimensional and one-dimensional histograms along regular grids of different ...
  • Simulation Based Validation of Supply Chain Effects through ICT enabled Real-time-capability in ETO Production Planning 

    Dallasega P; Rojas RA; Rauch E; Matt DT (2017)
    According to Industry 4.0, real-time information in production planning and control, shows a high potential for optimizing the whole supply chain. The paper considers the plant building industry, especially the off-site ...
  • Future Directions in Agile Research: Alignments and Divergence between Research and Practice 

    Mishra A; Garbajosa J; Wang X; Bosch J; Abrahamsson P (2017)
    Since the publication of Agile Manifesto in 2001, agile methods have transited from a grass-root initiative among enthusiastic advocates and developers to a mainstream software development approach adopted by both small ...
  • QoE-Driven Dynamic Adaptive Video Streaming Strategy With Future Information 

    Yu L; Tillo T; Xiao JM (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017)
    DASH, the Dynamic adaptive video streaming over hypertext transfer protocol (HTTP), has become the de-facto video delivery mechanism nowadays, which takes advantage of the existing low cost and wide-spread HTTP platforms. ...
  • Managing Change in Graph-structured Data Using Description Logics 

    Ahmetaj S; Calvanese D; Ortiz M; Simkus M (2017)
    In this paper, we consider the setting of graph-structured data (GSD) that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a ...
  • Microservices: The Journey So Far and Challenges Ahead 

    Jamshidi P; Pahl C; Lewis J; Tilkov S; Mendonca NC (2018)
    Microservices are an architectural approach emerging out of service-oriented architecture, emphasizing self-management and lightweightness as the means to improve software agility, scalability, and autonomy. This article ...
  • Teaching Computational Thinking using Agile Software Engineering Methods: A Framework for Middle Schools 

    Fronza I; El Ioini N; Corral L (2017)
    Computational Thinking (CT) has been recognized as one of the fundamental skills that all graduates should acquire. For this reason, motivational concerns need to be addressed at an early age of a child, and reaching ...
  • Hackmytown: An educational experience on smart cities 

    Del Fatto V; Dodero G; Bernhard A; Ferrand A; Ancona D; Mascardi V; Laurini R; Roccasalva G (2017)
    This paper describes the preparation and the execution of an educational experience consisting of a challenge, called Hackmytown, among five different teams composed by university students, aimed at experiencing challenges ...
  • The complexity of fuzzy EL under the Łukasiewicz T-norm 

    Borgwardt S; Cerami M; Peñaloza R (2017)
    Fuzzy Description Logics (DLs) are a family of knowledge representation formalisms designed to represent and reason about vague and imprecise knowledge that is inherent to many application domains. Previous work has shown ...
  • Ontology Based Data Access in Statoil 

    Kharlamov E; Hovland D; Skjæveland MG; Bilidas D; Jiménez-Ruiz E; Xiao G; Soylu A; Lanti D; Rezk M; Zheleznyakov D; Giese M; Lie H; Ioannidis Y; Kotidis Y; Koubarakis M; Waaler A (2017)
    Ontology Based Data Access (OBDA) is a prominent approach to query databases which uses an ontology to expose data in a conceptually clear manner by abstracting away from the technical schema-level details of the underlying ...
  • Children's emotions and quality of products in participatory game design 

    Gennari R; Melonio A; Raccanello D; Brondino M; Dodero G; Pasini M; Torello S (Academic Press, 2017)
    The paper presents an empirical study centred on a participatory game design activity with 8–10 years old primary-school children, split in different sessions. The study assesses how children perform in game design and ...

View more