703 search results - page 92 / 141 » Fundamentals of Session Types |
122
click to vote
P2P
2009
IEEE
15 years 10 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...
124
click to vote
WDAG
2009
Springer
15 years 10 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...
125
click to vote
AGILE
2009
Springer
2009
Springer
Three-Valued 9-Intersection for Deriving Possible Topological Relations from Incomplete Observations
15 years 10 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...
143
Voted
MKM
2009
Springer
15 years 10 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...
112
Voted
OOPSLA
2009
Springer
15 years 10 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 ...