One of the important issues in the design of future generation of high-speed networks is to provide differentiated service to different types of traffic with various time constrai...
One of the important issues in the design of future generation high-speed networks is to provide differentiated services to different types of applications with various time const...
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
— Measuring network flow sizes is important for tasks like accounting/billing, network forensics and security. Per-flow accounting is considered hard because it requires that m...
Decision-tree algorithms are known to be unstable: small variations in the training set can result in different trees and different predictions for the same validation examples. B...