Sciweavers

513 search results - page 75 / 103
» Operational and abstract semantics of the query language G-L...
Sort
View
IESA
2007
15 years 19 days ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
LISP
2006
105views more  LISP 2006»
14 years 11 months ago
Call-by-push-value: Decomposing call-by-value and call-by-name
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
Paul Blain Levy
ESWS
2008
Springer
15 years 26 days ago
Streaming SPARQL - Extending SPARQL to Process Data Streams
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
Andre Bolles, Marco Grawunder, Jonas Jacobi
APCCM
2009
15 years 6 days ago
Multi-Level Domain Modeling with M-Objects and M-Relationships
Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and...
Bernd Neumayr, Katharina Grün, Michael Schref...
POPL
1996
ACM
15 years 3 months ago
A Provably Time-Efficient Parallel Implementation of Full Speculation
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
John Greiner, Guy E. Blelloch