270 search results - page 2 / 54 » A Type System for Dynamic Web Documents |
123
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
138
Voted
ADC
2006
Springer
15 years 8 months ago
2006
Springer
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
120
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
187
Voted
ISEC
2001
Springer
15 years 7 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
101
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...