151 search results - page 21 / 31 » Gel: A Generic Extensible Language |
153
Voted
CG
2004
Springer
15 years 1 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...
117
Voted
INFSOF
2008
15 years 1 months ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
168
Voted
CPE
1994
Springer
15 years 6 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
118
click to vote
GI
2010
Springer
14 years 12 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
112
click to vote
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...