Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java (R); The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: * components; * mobile code; * Java(R); * The Unified Modeling Language (UML); * refinement of specifications; * types and subtyping; * temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Since the attacks of 2001, America continues to wrestle with how best to confront the threat of terrorism within the homeland. New strategies and organizations were developed to enhance this domestic mission of national security -- notably and historically, the Department of Homeland Security and the National Response Plan. Despite these changes, the nation's conceptual and operational approach lacks an embrace of a wartime mission which limits both efficient and effective levels of security. Changing the vector of America's homeland security trajectory is critical to avoid lost opportunity and increased vulnerability to external and internal threats. While the objective of homeland security is clear, the roadmap is not. Fundamentally the problem lies with ambiguous language in strategies and plans, and over-reliance on federal agency coordination as the basis of the approach. Hurricane Katrina exposed national plans as largely ignoring principles that have provided framing issues in the development of strategy for centuries.

The perennial role of the Army in the armed forces has been to bring dominant combat power to bear in the form of firepower from heavy divisions. In post-Cold War engagements, the variable nature and increased frequency of conflicts warrant a review of how the Army is to perform its traditional role. Indeed, rapid arrival of a new type of combat power to a conflict may prove more necessary than traditional heavy forces. Army Chief of Staff General Eric Shinsekis "vision statement" of 26 October 1999 addressed this idea and introduced a future Army of lighter, leaner forces. Currently, experimental units known as Interim Brigade Combat Teams are moving toward operational readiness, with the objective being the capability to deploy anywhere in the world in 96 hours.