Sciweavers

2516 search results - page 109 / 504
» Integrity Constraints for XML
Sort
View
RIAO
2007
14 years 11 months ago
Exploring Interactive Information Retrieval: An Integrated Approach to Interface Design and Interaction Analysis
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
Gheorghe Muresan
CASCON
2000
85views Education» more  CASCON 2000»
14 years 11 months ago
Web-based specification and integration of legacy services
With the explosive growth of the Internet, businesses of all sizes aim on applying networkwide solutions to their IT infrastructures, migrating their legacy business processes int...
Ying Zou, Kostas Kontogiannis
LPAR
2007
Springer
15 years 4 months ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
IJCSA
2006
113views more  IJCSA 2006»
14 years 10 months ago
An Advanced XML Mediator for Heterogeneous Information Systems Based on Application Domain Specification
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...
Mostafa Ezziyyani, Mustapha Bennouna, Loubna Cherr...
PODS
2003
ACM
114views Database» more  PODS 2003»
15 years 10 months ago
An information-theoretic approach to normal forms for relational and XML data
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
Marcelo Arenas, Leonid Libkin