Sciweavers

6952 search results - page 86 / 1391
» The information integrity imperative
Sort
View
194
Voted
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
174
Voted
RIAO
2004
15 years 7 months ago
Integrating XLink and XPath to Retrieve Structured Multimedia Documents in Digital Libraries
To support the retrieval of multimedia data according to user information needs, multimedia information retrieval in digital libraries must be based on semantics and not just prim...
Zhigang Kong, Mounia Lalmas
132
Voted
ICDE
2007
IEEE
124views Database» more  ICDE 2007»
16 years 13 days ago
Secure Content Validation
Information dissemination in electronic form has improved drastically over the past few years. New technologies in web feeds allow the uses to get notified automatically when new...
Mummoorthy Murugesan, Wei Jiang
POPL
2005
ACM
16 years 6 months ago
Context logic and tree update
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
182
Voted
AAAI
1996
15 years 7 months ago
Learning Models for Multi-Source Integration
One issue involved in accessing multiple heterogeneous information sources is how to integrate the retrieved data. SIMS, an information mediator, handles this problem by mapping t...
Sheila Tejada, Craig A. Knoblock, Steven Minton