This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of the book is to present these different verification methods and to explain their mathemati cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior...
This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertion...
Mobile IP: Present State and Future is an up-to-date introduction to the rapidly evolving field of mobile IP. In addition to detailed coverage of motivation behind mobile IP and fundamental concepts of mobile IP like agent advertisement and discovery, registration and tunneling, the book provides a comprehensive treatment of various associated technical issues such as security, TCP performance, multicasting and integration with wireless. The book has been written to serve as a text for network professionals who are yearning to acquire a clear understanding of this interesting...
Mobile IP: Present State and Future is an up-to-date introduction to the rapidly evolving field of mobile IP. In addition to detailed...
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer architectures and algorithms for them. The coverage is broad starting from fundamental algorithmic techniques, ranging across algorithms for a wide array of problems and applications, to simulations between models. The presentation employs a single reconfigurable model (the reconfigurable mesh) for most algorithms, to enable the reader to distill key ideas without the cumbersome details of a myriad of models. In addition to algorithms, the book...
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer archite...
This book introduces the fundamental concepts and practical simulation te- niques for modeling different aspects of operating systems to study their g- eral behavior and their performance. The approaches applied are obje- oriented modeling and process interaction approach to discrete-event simu- tion. The book depends on the basic modeling concepts and is more specialized than my previous book: Practical Process Simulation with Object-Oriented Techniques and C++, published by Artech House, Boston 1999. For a more detailed description see the Web location: http: //science.kennesaw.edu/...
This book introduces the fundamental concepts and practical simulation te- niques for modeling different aspects of operating systems to study their g...
Pictorial representations are very useful for humans to understand complicated relations or structures. This is the reason that the user interface of information systems is strongly required to visualize many kinds of information in a wide variety of graphical forms. At present, however, only some very specialized visualization techniques have been developed probably because the generality in the visualization has not been appreciated correctly. This book presents a visualization framework for translating abstract objects and relations, typically represented in textual forms, into...
Pictorial representations are very useful for humans to understand complicated relations or structures. This is the reason that the user interface ...
The Structural Theory of Probability addresses the interpretation of probability, often debated in the scientific community. This problem has been examined for centuries; perhaps no other mathematical calculation suffuses mankind's efforts at survival as amply as probability. In the dawn of the 20th century David Hilbert included the foundations of the probability calculus within the most vital mathematical problems; Dr. Rocchi's topical and ever-timely volume proposes a novel, exhaustive solution to this vibrant issue.
Paolo Rocchi, a versatile IBM scientist,...
The Structural Theory of Probability addresses the interpretation of probability, often debated in the scientific community. This ...
