Sciweavers

130 search results - page 20 / 26
» On Verifying Consistency of XML Specifications
Sort
View
WWW
2004
ACM
14 years 8 months ago
Practical semantic analysis of web sites and documents
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
Thierry Despeyroux
WWW
2005
ACM
14 years 8 months ago
Web service interfaces
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzing...
JISBD
2001
13 years 8 months ago
Conceptual Modeling of Device-Independent Web Applications
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
Jaime Gómez, Cristina Cachero
ICFP
2005
ACM
14 years 7 months ago
Toward a general theory of names: binding and scope
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
James Cheney
ICPR
2008
IEEE
14 years 1 months ago
Hallucinating facial images and features
In facial image analysis, image resolution is an important factor which has great influence on the performance of face recognition systems. As for lowresolution face recognition p...
Bo Li, Hong Chang, Shiguang Shan, Xilin Chen, Wen ...