79 search results - page 8 / 16 » Inclusion Dependencies in XML: Extending Relational Semantic... |
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
ICFP
1997
ACM
14 years 21 hour ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
DBPL
2007
Springer
14 years 2 months ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
CICLING
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...