Sciweavers

1326 search results - page 4 / 266
» Semantic Coherence in Software Engineering
Sort
View
144
Voted
EMSOFT
2006
Springer
15 years 11 months ago
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling
Christos Sofronis, Stavros Tripakis, Paul Caspi
FOSSACS
2006
Springer
15 years 11 months ago
A Semantic Approach to Interpolation
Andrei Popescu, Traian Serbanuta, Grigore Rosu
EDBTW
2010
Springer
15 years 11 months ago
Building data warehouses with semantic data
Victoria Nebot, Rafael Berlanga Llavori