Estimation of nonlinear models findsapplications in every field of engineering andthe sciences. Much work has been done tobuild solid statistical theories for its use andinterpretation. However, there has been littleanalysis of the tolerance of nonlinear modelestimators to deviations from...

Defense against Distributed Denial of Service (DDoS) attacks is one of the primaryconcerns on the Internet today. DDoS attacks are difficult to prevent because of the open,interconnected nature of the Internet and its underlying protocols, which can be used in severalways to deny service....

Markov decision processes have become an indispensable tool in applications as diverse as equipment maintenance, manufacturing systems, inventory control, queuing networks and investment analysis. Typically we have a controlled Markov chain on a suitable state space in which transitional...

It is argued that applying formal methods to standards making would result in more accurate, more understandable, and more useful standards. The main benefit seen in using formal methods in a standard's development and expression is improving the standard's quality. In the early stages of...