2106 search results - page 297 / 422 » Operational Semantics for MSC'96 |
163
click to vote
JUCS
2006
15 years 6 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...
164
click to vote
LOGCOM
2007
15 years 5 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...
134
click to vote
TKDE
2002
15 years 5 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...
238
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- With fast paced growth of digital data and exploding storage management costs, enterprises are looking for new ways to effectively manage their data. One such cost-effec...
251
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...