4008 search results - page 444 / 802 » An expressive language of signatures |
257
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We propose a demonstration of Cayuga, a complex event monitoring system for high speed data streams. Our demonstration will show Cayuga applied to monitoring Web feeds; the demo w...
172
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Current schema matching approaches still have to improve for very large and complex schemas. Such schemas are increasingly written in the standard language W3C XML schema, especia...
171
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
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...
142
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
167
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...