NDLI: Reasoning about client-side web programs: invited talk

Please wait, while we are loading the content...

Flexible Dataspace Management Through Model Management

Research challenges for cloud intelligence: invited talk

Analysis of declarative updates: invited talk

Definitions matter: reconciling differential and adversarial privacy: invited talk

Enabling knowledge-based complex event processing

A multi-agent approach for generating ontologies and composing services into executable workflows

Leveraging web streams for contractual situational awareness in operational BI

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML

A practice-oriented framework for measuring privacy and utility in data sanitization systems

Enabling ontology evolution in data integration

Semantic search using modular ontology learning and case-based reasoning

Using web-based personalization on spatial data warehouses

Reasoning about client-side web programs: invited talk

A method for evaluating marketer re-identification risk

Integration and evolution of XML data via common data model

SPARQL query rewriting for implementing data integration over linked data

Building data warehouses with semantic data

The view update problem for XML

Expressing privacy metrics as one-symbol information

Biochemical network matching and composition

XML secure views using semantic access control

Model driven development of secure XML data warehouses: a case study

EXup: an engine for the evolution of XML schemas and associated documents

Protecting data privacy in outsourcing scenarios: invited talk

Declarative scheduling in highly scalable systems

A decision support system to improve e-learning environments

Updating probabilistic XML

Collaborative data privacy for the web

A small-world DHT built on generalized network coordinates

ODBIS: towards a platform for on-demand business intelligence services

Desirable properties for XML update mechanisms

Analysis of social networking privacy policies

Using visual pages analysis for optimizing web archiving

An architecture for ad-hoc and collaborative business intelligence

Updating relational data via SPARQL/update

Quantile-based bootstrap methods to generate continuous synthetic data

Text-to-query: dynamically building structured analytics to illustrate textual content

Updates, consistency, and the art of running XQuery in the cloud: invited talk

Key escrow schemes with sliding window for privacy-aware anomaly detection system

The benefits of the interaction between data warehouses and question answering

Hiding co-occurring sensitive patterns in progressive databases

Ontology-based news recommendation

Toward a software development methodology for anonymity applications

Reasoning about client-side web programs: invited talk

Content Provider	ACM Digital Library
Author	Gardner, Philippa
Abstract	In PODS 2008, I presented a paper on a formal, compositional specification of the Document Object Model (DOM), a W3C XML Update library. This work concentrated on Featherweight DOM, a small fragment of DOM which focuses on the XML tree structure and simple text nodes. Since the formal reasoning is compositional, we are able to work with a minimal set of commands and obtain complete reasoning for straight-line code. We are also able to verify, for example, invariant properties of simple DOM programs. This work is based on a recent breakthrough in program verification, based on analysing a program's use of resource. The idea is that the reasoning should follow the programmers' intuitions about which part of the computer memory the program touches. This style of reasoning was introduced by O'Hearn (Queen Mary) and Reynolds (CMU) in their work on Separation Logic for reasoning modularly about large C-programs (e.g. Microsoft device driver code, Linux). I substantially extended the range of local resource reasoning, introducing Context Logic to reason about programs that directly manipulate complex data structures such as XML. In this survey talk, I will give an overview of our theoretical and practical work on reasoning about DOM, highlighting recent developments which include: 1. the extension of this work to DOM Core Level 1. A substantial piece of work, not because of the reasoning, but because full DOM is large, underspecified and difficult to interpret, with no consensus between browsers; 2. reasoning about the combination of JavaScript and DOM to provide, for example, secure mashups for a more flexible, secure integration of outsourced payment services; 3. on-going work on a verification tool for automatically reasoning about DOM programs and the identification of key examples of web applications on which to test our DOM reasoning: e.g., with current technology, we can prove by hand that mashup programs are fault free; with our tool, such proofs will be automatic. An ultimate challenge is to develop the necessary reasoning technology to provide a safe and secure web environment on which to build the next generation of web applications, thus demonstrating the scientific feasibility of a reliable Web.
Starting Page	1
Ending Page	1
Page Count	1
File Format	PDF
ISBN	9781605589909
DOI	10.1145/1754239.1754261
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-03-22
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in