Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
Lucas Mello Schnorr, Guillaume Huard, Philippe Oli...
A large number of the adult population suffers from some kind of back pain during their lifetime. Part of the process of diagnosing and treating such back pain is for a clinician t...
George Ghinea, Fotis Spyridonis, Tacha Serif, Andr...
Box plot is a compact representation that encodes the minimum, maximum, mean, median, and quartile information of a distribution. In practice, a single box plot is drawn for each ...
David T. Kao, Alison Luo, Jennifer L. Dungan, Alex...
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Abstract. In this paper we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontolog...