1027 search results - page 156 / 206 » Representing and Reasoning with Operational Semantics |
90
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ER
2007
Springer
15 years 6 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
138
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
92
Voted
GIS
1999
ACM
15 years 4 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
107
Voted
POPL
1996
ACM
15 years 4 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...