Recent Submissions

  • Profiling call changes via motif mining 

    Russo B (ACM, 2018)
    Components' interactions in software systems evolve over time increasing in complexity and size. Developers might have hard time to master such complexity during their maintenance activities incrementing the risk to make ...
  • Reinforcement Sensitivity and Engagement in Proactive Recommendations: Experimental Evidence 

    Rook L; Sabic A; Zanker M (Springer, 2017)
    We drew on revised Reinforcement Sensitivity Theory to claim that users with an anxiety-related behavioral inhibition would experience proactively delivered recommendations as potential threats. Such users would display ...
  • Multiple description video coding based on forward error correction within expanding windows 

    Lin CY; Zhao Y; Xiao JM; Tillo T (IEEE, 2013)
    In this paper, an MDC scheme based on forward error correction(FEC) within expanding windows is proposed. Firstly, the video sequence will be coded into source packets with/without slice group enabled. Secondly, the ...
  • Dynamic Redundancy Allocation for Video Streaming using Sub-GOP based FEC Code 

    Yu L; Xiao JM; Tillo T (IEEE, 2014)
    Reed-Solomon erasure code is one of the most studied protection methods for video streaming over unreliable networks. As a block-based error correcting code, large block size and increased number of parity packets will ...
  • Imprecisions Diagnostic in Source Code Deltas 

    De La Torre G; Robbes R; Bergel A (ACM, 2018)
    Beyond a practical use in code review, source code change detection (SCCD) is an important component of many mining software repositories (MSR) approaches. As such, any error or imprecision in the detection may result in ...
  • Ring based approximation of graph edit distance 

    Blumenthal DB; Bougleux S; Gamper J; Brun L (Springer, 2018)
    The graph edit distance (GED) is a flexible graph dissimilarity measure widely used within the structural pattern recognition field. A widely used paradigm for approximating GED is to define local structures rooted at the ...
  • Enhancing Workflow-Nets with Data for Trace Completion 

    De Masellis R; Di Francescomarino C; Ghidini C; Tessaris S (Springer International Publishing, 2018)
    The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis. Many ...
  • The Road to Live Programming: Insights From the Practice 

    Kubelka J; Robbes R; Bergel A (ACM, 2018)
    Live Programming environments allow programmers to get feedback instantly while changing software. Liveness is gaining attention among industrial and open-source communities; several IDEs offer high degrees of liveness. ...
  • The evolving design of tangibles for graph algorithmic thinking 

    Bonani A; Del Fatto V; Gennari R (Association for Computing Machinery, Inc, 2018)
    Algorithmic thinking is at the core of computational thinking. Tangible interactive solutions can help children develop algorithmic thinking skills. This paper focusses on exploratory research concerning tangibles for graph ...
  • It Takes Two, Baby: Style and Tangibles for Recommending and Interacting with Videos 

    Elahi M; Gennari R; Melonio A; Ricci F (RWTH, 2018)
    Children, nowadays, are great consumers of media for them [6], and there is growing interest towards novel mechanisms that can consider their specific needs and improve both the recommendation process and output of videos ...
  • A semantical framework for the orchestration and choreography of web services 

    Pahl C; Zhu Y (Elsevier, 2005)
    Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through ...
  • View-based query answering in description logics: Semantics and complexity 

    Calvanese D; De Giacomo G; Lenzerini M; Rosati R (2012)
    View-based query answering is the problem of answering a query based only on the precomputed answers to a set of views. While this problem has been widely investigated in databases, it is largely unexplored in the context ...
  • Quest: Efficient SPARQL-to-SQL for RDF and OWL 

    Rodriguez-Muro M; Hardi J; Calvanese D (CEUR-WS.org, 2012)
  • OCL-Lite: A decidable (yet expressive) fragment of OCL 

    Queralt A; Artale A; Calvanese D; Teniente E (CEUR-WS.org, 2012)
    UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ...
  • Best Service Synthesis in the Weighted Roman Model 

    Calvanese D; Santoso A (CEUR-WS.org, 2012)
    This paper presents an extension of a framework for synthesizing a composition of services, named Roman Model, such that it is able to model the best service composition synthesis problem. In such extension, which we call ...
  • Introducing datatypes in DL-Lite 

    Savkovic O; Calvanese D (IOS Press, 2012)
    In Description Logics (DLs) and in the ontology-based data access (OBDA) scenario, the use of actual datatypes (such as those adopted in DBMSs) has received only limited attention, although datatypes, with their predefined ...
  • Runtime verification of LTL-based declarative process models 

    Maggi FM; Westergaard M; Montali M; van der Aalst WMP (Springer, 2012)
    Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the analysis and enactment of flexible constraint-based business processes. The Declare language and system benefit from this basis. Moreover, ...
  • A retrospective on the Reactive Event Calculus and Commitment Modeling Language 

    Torroni P; Chesani F; Mello P; Montali M (Springer, 2012)
    Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reasoning about social commitments. ...
  • Inconsistency tolerance in OWL 2 QL Knowledge and Action Bases - Statement of Interest 

    Calvanese D; Kharlamov E; Montali M; Zhelezniakov D (CEUR-WS.org, 2012)
  • An operational decision support framework for monitoring business constraints 

    Maggi FM; Montali M; Van der Aalst WMP (Springer-Verlag, 2012)
    Only recently, process mining techniques emerged that can be used for Operational decision Support (OS), i.e., knowledge extracted from event logs is used to handle running process instances better. In the process mining ...

View more