5451 search results - page 279 / 1091 » Typed Operational Semantics |
113
click to vote
MM
1999
ACM
15 years 9 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 ...
154
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...
153
Voted
COLING
2010
14 years 11 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
134
Voted
TAPSOFT
1991
Springer
15 years 8 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
176
Voted
ATVA
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...