1128 search results - page 113 / 226 » Little Engines of Proof |
CBSE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
93
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
138
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
106
click to vote
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
GCC
2004
Springer
15 years 6 months ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...