Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-43) was last changed on 14-Oct-2014 14:50 by cortier

This page was created on 17-Sep-2012 10:24 by mery

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 3 changed one line
%%tabbedSection
%%tabbedSection
%%tab-2014
!Tuesday, October 22, Room A008
''Chair: Michael Rusinowitch''
__9h30-10h__
%%(border: 1px solid #aaa; margin:1em 2.5%; padding:0.5em; background:#f9f9f9)
Jean-Christophe Bach (Pareo) - __Langage et outil pour la transformation de modèles__
/%
__10h-10h30__
%%(border: 1px solid #aaa; margin:1em 2.5%; padding:0.5em; background:#f9f9f9)
Houari Mahfoud (Cassis) - __Secure and Valid Manipulation of XML Data__
It is increasingly common to find XML views used to enforce
access control as found in many applications and commercial
database systems. To overcome the overhead of view materialization
and maintenance, XML views are necessarily virtual. With this comes
the need for answering XML queries posed over virtual views, by rewriting
them into equivalent queries on the underlying documents.
A major concern here is that query rewriting for recursive XML views is
still an open problem, and proposed approaches deal only with non-recursive XML views.
Moreover, a small number of works have studied the access rights for updates.
In this talk, we present SVMAX (Secure and Valid MAnipulation of XML),
the first system that supports specification and enforcement of both read and update
access policies over arbitrary XML views (recursive or non). SVMAX defines general
and expressive models for controlling access to XML data using significant class of
XPath queries and in the presence of the update primitives of W3C XQuery Update Facility.
Furthermore, SVMAX features an additional module enabling efficient validation of XML
documents after primitive updates of XQuery. The wide use of W3C standards makes of
SVMAX a useful system that can be easily integrated within commercial database systems
as we will show. We give extensive experimental results, based on real-life DTDs, that show
the efficiency and scalability of our system.
/%
__10h30-11h Pause café__
__11h-11h30__
%%(border: 1px solid #aaa; margin:1em 2.5%; padding:0.5em; background:#f9f9f9)
Hugo Férée (Carte) - __Analyse récursive et complexité__
En analyse récursive, les objets mathématiques (typiquement les nombres ou les fonctions réels) sont représentés par des objets symboliques (les entiers ou les suites d'entiers), ce qui permet d'exporter les notions de calculabilité et de complexité du discret au continu. Nous verrons dans cet exposé des exemples de l'influence de la complexité sur les propriétés analytiques des objets représentés.
/%
__11h30-12h__
%%(border: 1px solid #aaa; margin:1em 2.5%; padding:0.5em; background:#f9f9f9)
Hernán Vanzetto (Veridis/Mosel) - __Type Reconstruction for Set Theory__
/%
Version Date Modified Size Author Changes ... Change note
43 14-Oct-2014 14:50 18.288 kB cortier to previous
42 14-Oct-2014 14:45 17.414 kB cortier to previous | to last
41 14-Oct-2014 14:44 17.411 kB cortier to previous | to last
« This page (revision-43) was last changed on 14-oct.-2014 14:50 by cortier