MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has already proved helpful in work on the design of XML Query. We expect that similar techniques can be used to extend MSL to include most or all of XML Schema.
We describe a scalable architecture, particularly well-suited to cloud-based computing, which can be used for Web-deployment of spoken dialogue systems. In common with similar platforms, like WAMI and the Nuance Mobile Developer Platform, we use a client/server approach in which speech recognition is carried out on the server side; our architecture,… (More)
We present a distributed garbage collection algorithm that eventually collects all cycles in an open network. As with recent reference counting algorithms, it explicitly maintain the distributed inverse reference graph (i.e., each object maintains a list of sites known to have references to it). We show that a modiied depth-rst traversal of this inverse… (More)
The Internet provides a medium to combine human and computational entities together for ad hoc cooperative transactions. To make this possible, there must be a f r amework allowing all parties human or other to communicate with each other. The current framework makes a fundamental distinction between human agents who use HTML and computational agents, which… (More)
We describe an extension of regular expresions using arbitrary all-groups and numeric exponents (as in W3C XML Schema). We are able to provide polynomial-time algorithms for testing UPA and content model subsumption for these extended regular expressions. The algorithm handles numeric exponents (as opposed to the Kleene operators of traditional regular… (More)
The appearance of the element() predicate and the ability to return source tree nodes from templates provides XSLT2 with mechanisms to support extensibility and reuse in ways not available in XSLT1. We present a significant example of these involving both vertical and horizontal changes, where a single stylesheet exploiting these features can be applied to… (More)