Recent Submissions

  • 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 ...
  • Semantically-governed data-aware processes 

    Calvanese D; De Giacomo G; Lembo D; Montali M; Santoso A (CEUR-WS.org, 2012)
    In this paper we consider processes that run over data stored in a relational database. Our setting is that of ontology-based data access (OBDA), where the information in the database is conceptually represented as an ...
  • Ontology-based governance of data-aware processes 

    Calvanese D; De Giacomo G; Lembo D; Montali M; Santoso A (Springer, 2012)
    In this paper we show how one can use the technology developed recently for Ontology-Based Data Access (OBDA) to govern data-aware processes through ontologies. In particular, we consider processes executed over a relational ...
  • Quest, an OWL 2 QL reasoner for ontology-based data access 

    Rodriguez-Muro M; Calvanese D (CEUR-WS.org, 2012)
    Abstract. Ontology Based Data Access (OBDA) has drawn considerable attention from the OWL and RDF communities. In OBDA, instance data is accessed by means of mappings, which state the relationship between the data in a ...
  • Video error concealment of P-frame using packets of the following frames 

    Cheng F; Xiao J; Zhi J; Tillo T (IEEE, 2012)
    For real-time video streaming over unreliable networks, the losses or delay of the video packets may deteriorate the video quality at the receiver side. The traditional temporal error concealment methods try to guess the ...
  • Do static type systems improve the maintainability of software systems? An empirical study 

    Kleinschmager S; Hanenberg S; Robbes R; Tanter E; Stefik A (IEEE Computer Society, 2012)
    Static type systems play an essential role in contemporary programming languages. Despite their importance, whether static type systems influence human software development capabilities remains an open question. One ...
  • Real-time macroblock level bits allocation for depth maps in 3-D video coding 

    Xiao J; Tillo T; Yuan H (Springer, 2012)
    In the texture-plus-depth 3-D video format, the texture videos and depth maps will affect the quality of the synthesized views, this makes bits allocation for the depth maps indispensable. The existing bits allocation ...
  • Extensions during software evolution: Do objects meet their promise? 

    Robbes R; Röthlisberger D; Tanter E (Springer, 2012)
    As software evolves, data types have to be extended, possibly with new data variants or new operations. Object-oriented design is well-known to support data extensions well. In fact, most popular books showcase data ...
  • Real-time video streaming exploiting the late-arrival packets 

    Xiao J; Tillo T; Lin C; Zhao Y (IEEE, 2012)
    For real-time video applications, such as video telephony service, the allowed maximum end-to-end transmission delay is usually fixed. The packets arriving at the destination out of the maximum end-to-end delay are treated ...

View more