2940 search results - page 127 / 588 » Relational Parametricity and Control |
156
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Following the design philosophy of XCP, VCP is a router-assisted congestion protocol that intends to balance the efficiency and the fairness control in high Bandwidth-Delay Pro...
142
click to vote
JOCN
2011
2011
Cardiorespiratory Fitness and the Flexible Modulation of Cognitive Control in Preadolescent Children
14 years 9 months ago
■ The influence of cardiorespiratory fitness on the modulation of cognitive control was assessed in preadolescent children separated into higher- and lower-fit groups. Participa...
177
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
Multiplayer Online Games (MOGs) are a thriving market leading to a multiplicity of game related internet applications. Enabling information exchange between games and these applica...
173
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
172
click to vote
TCS
2008
15 years 6 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...