678 search results - page 55 / 136 » The Theory of Weak Stabilization |
120
Voted
FSTTCS
1999
Springer
15 years 4 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
97
Voted
CORR
2007
Springer
15 years 15 days ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
106
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
118
Voted
NAR
2007
15 years 1 days ago
2007
Interactions within a protein structure and interactions between proteins in an assembly are essential considerations in understanding molecular basis of stability and functions o...
128
click to vote
NETWORKING
2007
15 years 1 months ago
2007
TCP is shown to be inefficient and instable in high speed and long latency networks. The eXplicit Control Protocol (XCP) is a new and promising protocol that outperforms TCP in ter...