Sciweavers

1080 search results - page 166 / 216
» The Complexity of Belief Update
Sort
View
ICWE
2005
Springer
15 years 12 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
SWS
2004
ACM
15 years 11 months ago
Applying hierarchical and role-based access control to XML documents
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...
Jason Crampton
ADBIS
2004
Springer
115views Database» more  ADBIS 2004»
15 years 11 months ago
Making More Out of an Inconsistent Database
Repairing a database means making the database consistent by applying changes that are as small as possible. Nearly all approaches to repairing have assumed deletions and insertion...
Jef Wijsen
APWEB
2004
Springer
15 years 11 months ago
Using Relational Database Constraints to Design Materialized Views in Data Warehouses
Queries to data warehouses often involve hundreds of complex aggregations over large volumes of data, and so it is infeasible to compute these queries by scanning the data sources ...
Taehee Lee, Jae-young Chang, Sang-goo Lee
ASIASIM
2004
Springer
15 years 11 months ago
self-CD: Interactive Self-collision Detection for Deformable Body Simulation Using GPUs
This paper presents an efficient self-collision detection algorithm for deformable body simulation using programmable graphics processing units (GPUs). The proposed approach store...
Yoo-Joo Choi, Young J. Kim, Myoung-Hee Kim