671 search results - page 91 / 135 » Semantics Preserving Model Composition |
SIGOPSE
2004
ACM
14 years 2 months ago
2004
ACM
Computer systems are complex and unforgiving. Users need environments more tolerant of errors, allowing them to correct mistakes and explore alternatives. This is the aim of Joyce...
IGPL
2010
13 years 6 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
ENTCS
2006
13 years 9 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
MM
1999
ACM
14 years 1 months ago
1999
ACM
Adaptation techniques for multimedia presentations are mainly concerned with switching between different qualities of single media elements to reduce the data volume and by this ...