2136 search results - page 210 / 428 » A Game-Theoretic Operational Semantics |
145
click to vote
JUCS
2006
15 years 3 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...
136
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
108
Voted
TKDE
2002
15 years 3 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
117
click to vote
JLP
2011
14 years 6 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
155
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
End-users increasingly find the need to perform light-weight, customized schema mapping. State-of-the-art tools provide powerful functions to generate schema mappings, but they u...