Sciweavers

435 search results - page 26 / 87
» Subsumption for XML types
Sort
View
CIKM
2008
Springer
13 years 9 months ago
Linear time membership in a class of regular expressions with interleaving and counting
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
IRI
2009
IEEE
14 years 2 months ago
Collaborative Schema Construction using Regular Sequence Types
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
Jorge Coelho, Mário Florido, Temur Kutsia
ICDE
2007
IEEE
97views Database» more  ICDE 2007»
14 years 2 months ago
Service Description and Analysis From a Type Theoretic Approach
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
Ken Q. Pu
APWEB
2005
Springer
14 years 1 months ago
Voice User Interface Design for a Telephone Application Using VoiceXML
VoiceXML is a standard language for developing voice based applications. VoiceXML applications have more advantages over traditional Interactive Voice Response (IVR) systems becaus...
Daniel Mecanovic, Hao Shi
INFOSCALE
2007
ACM
13 years 9 months ago
A flexible mandatory access control policy for XML databases
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...
Hong Zhu, Renchao Jin, Kevin Lü