A wide spectrum of research areas have contributed to the development of objectoriented analysis and design methods. Within computing sciences objectorientation has been developed in the fields of databases, programming languages, and system engineering. Some indications of this development include the proliferation of objectoriented...

Grid Computing was a vision of using and sharing computers and data in the early 1990s. The integration, coordination, and sharing of computer resources which are geographically disperse among different physical domains and organizations became an every day reality. This emerging infrastructure aims to provide a mechanism for sharing...

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

After studying this text, you should be able to apply switching theory to the solution of logic design problems.This means that you will learn both the basic theory of switching circuits and how to apply it. After a brief introduction, you will study Boolean algebra, which is the basic mathematical tool needed to analyze and synthesize...

This is a book on the organization and architecture of theJava Virtual Machine(JVM), the software at the heart of the Java language and is found inside most computers,Web browsers, PDAs, and networked accessories. It also covers general principles of machine organization and architecture, with llustrations from other popular (and...

In numerous computer applications there is a need of storing large sets of objects in such a way that some questions about those objects can be answered efficiently. Data structures that store such sets of objects can be either static (built for a fixed set of objects) or dynamic (insertions of new objects and deletions of existing objects...

Since the first part of the twentieth century, cybernetics and systems research have been developed as scientific disciplines. Investigations, launched in the area of cybernetics, previously dealt with control and information processing. In a more narrow sense, they consisted in the consideration of analogies of the control and the...

In the last year,...

One of the most debated consequences regarding the increased availability and use of information and communication technologies (ICTs), especially since the early 1990s, have been their impact on economic growth. Generally speaking, ICT can serve to reduce transaction costs at all levels of a commercial transaction. With the emergence...

Windows Presentation Foundation (WPF) is a graphical computer platform built and distributed by Microsoft to create rich client applications for Windows systems. With WPF, you can build rich interfaces with animations and amazing graphical effects as easily as you can build minimalist and corporate user interfaces for line-of-business...

Fortunately, this new...