703 search results - page 92 / 141 » Fundamentals of Session Types |
P2P
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Multi-view peer-to-peer (P2P) live streaming systems have recently emerged, where a user can simultaneously watch multiple channels. Previous work on multi-view P2P stre...
WDAG
2009
Springer
15 years 4 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
AGILE
2009
Springer
2009
Springer
Three-Valued 9-Intersection for Deriving Possible Topological Relations from Incomplete Observations
15 years 4 months ago
Topological relations, which concern how two objects intersect, are one of the most fundamental and well-studied spatial relations. Typically, topological relations are distinguis...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...