Sciweavers

3724 search results - page 485 / 745
» Timed regular expressions
Sort
View
WWW
2006
ACM
16 years 7 months ago
Semantic WS-agreement partner selection
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
Nicole Oldham, Kunal Verma, Amit P. Sheth, Farshad...
159
Voted
PODS
2004
ACM
86views Database» more  PODS 2004»
16 years 6 months ago
Frontiers of Tractability for Typechecking Simple XML Transformations
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
Wim Martens, Frank Neven
EDBT
2006
ACM
98views Database» more  EDBT 2006»
16 years 6 months ago
Evolving Triggers for Dynamic Environments
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
Agnès Voisard, Annika Hinze, Goce Trajcevsk...
DCC
2007
IEEE
16 years 6 months ago
Type-Based Compression of XML Data
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
Christopher League, Kenjone Eng
SODA
2010
ACM
149views Algorithms» more  SODA 2010»
16 years 4 months ago
Data-Specific Analysis of String Sorting
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
Raimund Seidel