2940 search results - page 127 / 588 » Relational Parametricity and Control |
125
click to vote
ICC
2009
IEEE
15 years 11 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...
111
click to vote
JOCN
2011
2011
Cardiorespiratory Fitness and the Flexible Modulation of Cognitive Control in Preadolescent Children
14 years 7 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...
147
click to vote
KIVS
2009
Springer
15 years 11 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...
142
click to vote
FSEN
2009
Springer
15 years 8 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...
137
click to vote
TCS
2008
15 years 4 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...