Now showing items 1747-1766 of 1807

    • Verification of evolving graph-structured data under expressive path constraints 

      Calvanese D; Ortiz M; Simkus M (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
      Integrity constraints play a central role in databases and, among many other applications, are fundamental for preserving data integrity when databases evolve as a result of operations manipulating the data. In this context, ...
    • Verification of Fixed-Topology Declarative Distributed Systems with External Data 

      Calvanese D; Montali M; Lobo J (CEUR-WS.org, 2018)
      Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for ...
    • Verification of generalized inconsistency-aware knowledge and action bases 

      Calvanese D; Montali M; Santoso A (AAAI Press, 2015)
      Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly ...
    • Verification of human-driven data-centric dynamic systems 

      Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (AAAI Press, 2014)
      We study the foundations of human driven, data-aware business processes, by leveraging on the recently proposed framework of Data-Centric Dynamic Systems (DCDSs). The processes we consider simultaneously capture the ...
    • Verification of Inconsistency-Aware Knowledge and Action Bases 

      Calvanese D; Kharlamov E; Montali M; Santoso A; Zheleznyakov D (AAAI Press, 2013)
      Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set ...
    • Verification of Inconsistency-Aware Knowledge and Action Bases 

      Calvanese D; Kharlamov E; Montali M; Santoso A; Zheleznyakov D (CEUR-WS.org, 2013)
      Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism to evolve a DL KB over time by means of actions that may acquire new information from the external environment. Decidability ...
    • Verification of Query Completeness over Processes 

      Razniewksi S; Montali M; Nutt W (Springer, 2013)
      Data completeness is an essential aspect of data quality, and has in turn a huge impact on the effective management of companies. For example, statistics are computed and audits are conducted in companies by implicitly ...
    • Verification of relational data-centric dynamic systems with external services 

      Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (ACM Press and Addison Wesley, 2013)
      Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. We study verification of (first-order) μ-calculus variants over relational data-centric ...
    • Verification of relational multiagent systems with data types 

      Calvanese D; Delzanno G; Montali M (AAAI Press, 2015)
      We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific, rigid relations (such as total orders). ...
    • Verification of semantically-enhanced artifact systems 

      Bagheri Hariri B; Calvanese D; Montali M; Santoso A; Solomakhin D (Springer, 2013)
      Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, the Guard-Stage-Milestone (GSM) approach ...
    • Verifying a-priori the composition of declarative specified services 

      Chesani, F; Mello, P; Montali, M; Torroni, P (CEUR-WS.org, 2009)
      Service Oriented Architectures are knowing a wide success, thanks to the maturity of standards and implementations. Moreover, the possibility of composing complex systems starting from simpler services is becoming supported ...
    • Verifying MSMAS Model Using CIFF 

      Elakehal EE; Montali M; Padget J (Springer, 2013)
      MSMAS is a software development methodology that facilities the design and development of complex distributed systems based on the multiagent systems paradigm. MSMAS explicitly supports the institutional organisational ...
    • 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 ...
    • 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 ...
    • Virtual OBDA over Expressive Ontologies: Rewritings and Approximations 

      Botoeva E; Calvanese D; Santarelli V; Savo DF; Solimando A; Xiao G (CEUR-WS, 2016)
      In this paper we extend virtual OBDA to more expressive ontology languages than that of DL-Lite_R, which is the logic underpinning the W3C ontology language OWL 2 QL. We achieve this by relying on two well-known mechanisms, ...
    • The virtual training center: A support tool for teachers community 

      Dodero, G; Stefanova, E; Miranowicz, M; Vertan, C; Musankoviene, V; Ratcheva, D (Demetra, 2007)
      Communities of practice for teachers are emerging, where the issues of life long learning of in-service teacher is supported by a collective effort and by applying modern methodologies and tools. The paper describes how ...
    • Virtual training centers of I*Teach project 

      Miranowicz, M; Burewicz, A; Dodero, G; Stefanova, E; Ratcheva, D (ICWE, 2007)
      New methodology of continuous education offers the opportunity to acquire new skills as well as general social skills in a flexible and synchronic manner. It also allows to learn and develop newly acquired knowledge by ...
    • Virtual-View-Assisted Video Super-Resolution and Enhancement 

      Jin Z; Tillo T; Yao C; Xiao JM; Zhao Y (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2016)
      A 3-D multiview video gives users an experience that is different from that provided by a traditional video; however, it puts a huge burden on limited bandwidth resources. Mixed-resolution video in a multiview system can ...
    • VISOR: Visualizing Summaries of Ordered Data 

      Mahlknecht G; Böhlen M; Dignös A; Gamper J (ACM, 2017)
      In this paper, we present the VISOR tool, which helps the user to explore data and their summary structures by visualizing the relationships between the size k of a data summary and the induced error. Given an ordered ...
    • Visual Analysis of Recommendation Performance 

      Çoba L; Symeonidis P; Zanker M (ACM, 2017)
      Rrecsys is a novel library in R for developing and assessing recommendation algorithms. In this demo, we extend rrecsys with functions for visual analytics of recommendation performance, that is one of the strong capabilities ...