Now showing items 1687-1706 of 1759

    • Value joins are expensive over (probabilistic) XML 

      Kharlamov, E; Nutt, W; Senellart, P (ACM Digital Library, 2010)
      We address the cost of adding value joins to tree-pattern queries and monadic second-order queries over trees in terms of the tractability of query evaluation over two data models: XML and probabilistic XML. Our results ...
    • Variable block algebraic recursive multilevel solver (VBARMS) for sparse linear systems 

      Carpentieri B; Liao J; Sosonkina M (Bader M [and others], 2014)
      We present and discuss the parallel implementation of a multi-elimination incomplete LU factorization method for solving sparse linear systems. The proposed solver exploits any available block structure during the ...
    • Variable Block Multilevel Iterative Solution of General Sparse Linear Systems 

      Carpentieri B; Liao J; Sosonkina M (Springer Berlin Heidelberg, 2014)
      We present numerical results with a variable block multilevel incomplete LU factorization preconditioners for solving sparse linear systems arising, e.g., from the discretization of 2D and 3D partial differential equations ...
    • VBARMS: A variable block algebraic recursive multilevel solver for sparse linear systems 

      Carpentieri B; Liao J; Sosonkina M (2014)
      Sparse matrices arising from the solution of systems of partial differential equations often exhibit a perfect block structure, meaning that the nonzero blocks in the sparsity pattern are fully dense (and typically small), ...
    • The VERICLIG Project: extraction of Computer Interpretable Guidelines via syntactic and semantic annotation 

      Thorne C; Montali M; Cardillo E; Eccher C; Calvanese D (Association for Computational Linguistics, 2013)
      We consider the problem of extracting formal process representations of the therapies defined by clinical guidelines, viz., computer interpretable guidelines (CIGs), based on UMLS and semantic and syntactic annotation. CIGs ...
    • Verifiable UML artifact-centric business process models 

      Calvanese D; Estanol M; Montali M; Teniente E (ACM, 2014)
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...
    • Verification and synthesis in description logic based dynamic systems 

      Calvanese D; De Giacomo G; Montali M; Patrizi F (Springer, 2013)
      In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this ...
    • Verification and synthesis in description logic based dynamic systems (Abridged Version) 

      Calvanese D; De Giacomo G; Montali M; Patrizi F (CEUR-WS.org, 2013)
      We devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism. We study verification and adversarial ...
    • Verification from declarative specifications using logic programming 

      Montali, M; Torroni, P; Alberti, M; Chesani, F; Gavanelli, M; Lamma, E; Mello, P (Springer, 2008)
      In recent years, the declarative programming philosophy has had a visible impact on new emerging disciplines, such as heterogeneous multi-agent systems and flexible business processes. We address the problem of formal ...
    • Verification of choreographies during execution using the reactive event calculus 

      Chesani, F; Mello, P; Montali, M; Torroni, P (Springer, 2009)
      This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from DecSerFlow as a graphical choreography description language. We select a core set of DecSerFlow ...
    • Verification of context-sensitive Knowledge and Action Bases 

      Calvanese D; Ceylan I; Montali M; Santoso A (Springer, 2014)
      Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ...
    • Verification of data-aware commitment-based multiagent system 

      Montali M; Calvanese D; De Giacomo G (IFAAMAS, 2014)
      In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and ...
    • Verification of Description Logic Knowledge and Action Bases 

      Bagheri Hariri B; Calvanese D; De Giacomo G; De Masellis R; Felli P; Montali M (Amsterdam, 2012)
      We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ...
    • 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 ...