113 search results - page 8 / 23 » Strict Canonical Constructive Systems |
119
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
134
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Peer-to-peer based streaming has been a promising solution for large-scale video broadcasting over the Internet. In a peer-to-peer video streaming framework, peers cooperate with ...
122
Voted
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
122
Voted
TABLEAUX
2007
Springer
15 years 9 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
122
Voted
MFCS
2007
Springer
15 years 9 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...