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)
For Web services to fulfil their promise in truly heterogeneous environments, the different base operations being included in Web services will need to appear in multiple Web Services with different names as well as different authorization and authentication mechanisms, different service level agreements, and even different formats. We describe service… (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)
Acknowledgement s The author would like to thank his wife, Lisa, for her encouragement, understanding, and endurance. Without her this would not have been possible. Also, the author would like to thank his parents, sister, brother-in-law, and niece for unquestionable support and love. An immeasurable amount of appreciation and gratitude go to Brian Whet-ten… (More)
We describe a version of the CALL-SLT spoken conversation partner adapted for use on a mobile device. The system allows beginner/intermediate language students to practise interactive spoken language skills, using a version of MIT's " translation game " concept: the machine prompts using an abstract description of what the student is supposed to say, and… (More)