217 search results - page 35 / 44 » Towards a Mathematical Operational Semantics |
WWW
2003
ACM
16 years 10 days ago
2003
ACM
A modern approach for generating individualized web-sites is to compose a page out of individual elements, for instance XML-fragments, which is eventually transformed to . If the ...
90
Voted
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
130
click to vote
CSFW
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
97
Voted
ICDE
1994
IEEE
15 years 3 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
108
click to vote
PODS
2010
ACM
15 years 4 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...