200 search results - page 31 / 40 » Algebraic Operational Semantics and Occam |
PGLDB
2003
15 years 6 days ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
117
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
130
Voted
SDB
1995
15 years 2 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
79
Voted
FDL
2005
IEEE
15 years 4 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
112
Voted
EUROMICRO
1999
IEEE
15 years 3 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...