The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification,...
The Component Object Model (COM) is deep and extremely difficult, making it impossible to grasp the ideas behind this specification quickly or easily. Don Box, the author of Essential COM concedes that it took him six months of reading documentation, writing programs, and experiencing general puzzlement before he had his personal COM...
The use of modular and parallel programming languages, and the development of distributed architectures is having a profound influence on computer programming and systems design; hardware and performance can now conspire to produce much higher operating speeds than could previously be achieved through sequential processing. Executing...
"The present volume is the second one of a trilogy on formal development of large scale systems. Each topic is presented by means of many examples . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification...
Parallel programming truly redefines the programming model for multicore architecture,
which has become commonplace. For this reason, parallel programming has been elevated to
a core technology in the Microsoft .NET Framework 4. In this version of the .NET Framework,
the Task Parallel Library (TPL) and the System.Threading.Tasks...
Have you ever been in a hurry and pounded in a nail using something other than a
hammer? Or perhaps settled an argument concerning distances with “the length of my
arm is about 20 inches, and that’s about two arm lengths...”? You might not be willing
to fall for such obviously flawed shortcuts, but...
Leadership has traditionally resided in one person with many followers. This book presents a new model of mutual leadership, which transforms leadership from one individual's responsibility into a new way of working for everyone.
Creating Leaderful Organizations demonstrates the bottom-line benefits of this model, shows how it is already...
Chapter 1 offers an overview of the basic computer technology. Each succeeding chapter, describes the problems in medicine, followed by a review in chronological sequence of why and how computers were applied to try to meet these problems. Only the technical aspects of computer hardware, software, and communications are discussed as they are...
This book is an in-depth introduction to Erlang, a programming language ideal for any situation where concurrency, fault tolerance, and fast response is essential. Erlang is gaining widespread adoption with the advent of multi-core processors and their new scalable approach to concurrency. With this guide you'll learn how to write complex...
Delve inside the core SQL Server engine—and put that knowledge to work—with guidance from a team of well-known internals experts. Whether database developer, architect, or administrator, you’ll gain the deep knowledge you need to exploit key architectural changes—and capture the product’s full potential.
Discover JBoss Seam: the Unified Framework for Simpler, More Powerful Web Development
JBoss Seam integrates EJB 3.0 and JSF components under a unified framework that simplifies and accelerates Java EE web development. Now, JBoss Seam’s project...