X hits on this document

121 views

0 shares

0 downloads

0 comments

38 / 40

A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples.....................................1638 Hélène Collavizza, University of Nice - Sophia Antipolis / I3S-CNRS, France Nguyen Le Vinh, University of Nice - Sophia Antipolis / I3S--CNRS, France Michel Rueher, University of Nice - Sophia Antipolis / I3S-CNRS, France

Samuel Devulder, Geensys, France Thierry Gueguen, Geensys, France

Quotients Revisited for Isabelle/HOL............................................................................................................1644 Cezary Kaliszyk, University of Tsukuba, Japan Christian Urban, Technical University Munich, Germany

XEvolve: An XML Schema Evolution Framework ......................................................................................1650 Francois Picalausa, Université Libre de Bruxelles, Belgium Frédéric Servais, Université Libre de Bruxelles, Belgium Esteban Zimanyi, Université Libre de Bruxelles, Belgium

A Proof-Based Approach to Verifying Reachability Properties..................................................................1656 Amel Mammar, Telecom SudParis, France Marc Frappier, GRIL, Canada Fama Diagne, Telecom SudParis/GRIL, France

Semantics and Proof Rules of Invariant Based Programs...........................................................................1663 Ralph-Johan Back, Abo Akademi University, Finland Viorel Preoteasa, Abo Akademi University, Finland

Application of Partial-order Methods for the Verification of Closed-loop SDL Systems.........................1671 Xavier Dumas, CS-SI, Toulouse, France Frédéric Boniol, ONERA, University of Toulouse, France Philippe Dhaussy, ENSIETA, Toulouse, France Eric Bonnafous, CS-SI, Toulouse, France

Semantic Web and its Application Track

Track Co-Chairs:

Hyoil Han, LeMoyne-Owen College, United States

Track Editorial.................................................................................................................................................1679

A Method for the Classification of Folksonomy Resources .........................................................................1680 Francisco Echarte, Universidad Publica de Navarra, Spain Jose Javier Astrain, Universidad Publica de Navarra, Spain Alberto Cordoba, Universidad Publica de Navarra, Spain Jesus Villadangos, Universidad Publica de Navarra, Spain Aritz Labat, Universidad Publica de Navarra, Spain

Parallelizing Join Computations of SPARQL Queries for Large Semantic Web Databases ...................1686 Jinghua Groppe, University of Lübeck, Germany Sven Groppe, University of Lübeck, Germany

Document info
Document views121
Page views121
Page last viewedMon Dec 05 00:27:56 UTC 2016
Pages40
Paragraphs512
Words11014

Comments