Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
The various aspects of plasma-edge physics are included in a comprehensive suite of codes having applications from industrial plasmas to fusion devices. Here the basic ideas, stat...
Ralf Schneider, Xavier Bonnin, Neil McTaggart, Ale...
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
The basic nearest neighbour classifier suffers from the indiscriminate storage of all presented training instances. With a large database of instances classification response time ...
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...