258 search results - page 9 / 52 » Hybrid Logics on Linear Structures: Expressivity and Complex... |
110
click to vote
ITC
2003
IEEE
15 years 4 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
105
click to vote
DBPL
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
CSL
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
AVI
2004
15 years 1 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...
TYPES
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...