Hacking and electronic crimes sophistication has grown at an exponential rate in recent years. In fact, recent reports have indicated that cyber crime already surpasses the illegal drug trade! Unethical hackers better known as black hats are preying on information systems of government, corporate, public, and private networks and are...

For a long time, I was very happy building Ethernet networks, working with switches and then moving to 802.11. It took awhile, but eventually I realized that the world of interconnected networks cannot be reached with Layer 2 alone. In addition, as you spread your wings from the Layer 2 broadcast domains, you encounter the wonders of...

Unified Communications and Collaboration is on the so-called “Hot List” in any forum wherein people are discussing communications and ways to better stay in touch. This book is aimed at explaining the concepts, ideas, and capabilities behind Presence, which is likely one of the least understood and most underestimated features in...

Fortunately, this new...

Software arch itects occupy a unique space in the world of IT. They are expected to know the technologies and software platforms on which their organizations run as well as the businesses that they serve. A great software architect needs to master both sides of the architect’s coin: business and technology. This is no small...

The Shelly Cashman Series® offers the finest textbooks in computer education. We are proud of the fact that our textbook series has been the most widely used in education. Adobe® Photoshop® CS3: Introductory Concepts and Techniques continues with the innovation, quality, and reliability that you have come to expect from the...

In 1983 I left the International Institute for Aerospace Survey and Earth Sciences (ITC) and went to Wageningen Agricultural University, where I took the chair of “Land Surveying and Teledetection”. Up to that time I had been active mainly in geodesy and photogrammetry, but at Wageningen it soon became...

The origin of queueing theory and its application traces back to Erlang’s historical work for telephony networks as recently celebrated by the Erlang Centennial, 100 Years of Queueing, Copenhagen, recalling his first paper in 1909. Ever since, the simplicity and fundamental flavour of Erlang’s famous expressions, such as his...

Video segmentation has been a key technique for visual information extraction and plays an important role in digital video processing, pattern recognition, and computer vision. A wide range of video-based applications will benefit from advances in video segmentation including security and surveillance, bank transactions monitoring,...

The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages,...

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...