8933 search results - page 119 / 1787 » Usability over time |
137
click to vote
CSCLP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
157
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
150
click to vote
DAWAK
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We investigate the problem of finding frequent patterns in a continuous stream of transactions. It is recognized that the approximate solutions are usually sufficient and...
194
click to vote
ENTCS
2006
15 years 5 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
158
click to vote
JUCS
2006
15 years 5 months ago
2006
: CQL, Continuous Query Language is suitable for data stream queries. Sometimes it is better if the queries operate on relational databases and data streams simultaneously. The exe...