3690 search results - page 659 / 738 » Computation with classical sequents |
ICAC
2006
IEEE
15 years 3 months ago
2006
IEEE
— In autonomic provisioning, a resource manager allocates resources to an application, on-demand, e.g., during load spikes. Modelling-based approaches have proved very successful...
ICNP
2006
IEEE
15 years 3 months ago
2006
IEEE
— The phenomenal growth of the Internet in the last decade and society’s increasing dependence on it has brought along, a flood of security attacks on the networking and compu...
ICNP
2006
IEEE
15 years 3 months ago
2006
IEEE
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
101
click to vote
CONEXT
2006
ACM
15 years 3 months ago
2006
ACM
Modeling TCP is fundamental for understanding Internet behavior. The reason is that TCP is responsible for carrying a huge quota of the Internet traffic. During last decade many a...
107
click to vote
UIST
2006
ACM
15 years 3 months ago
2006
ACM
The creation of most models used in computer animation and computer games requires the assignment of texture coordinates, texture painting, and texture editing. We present a novel...