9842 search results - page 250 / 1969 » Compositional timing analysis |
TECS
2010
14 years 11 months ago
2010
122
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
130
click to vote
PODS
2003
ACM
16 years 4 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
160
Voted
GISCIENCE
2004
Springer
15 years 9 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...