You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.
To achieve consistent software project success under the pressures of today's software development environment, software organizations require achievable plans including viable estimates of schedule, resources, and risks. To estimate realistically, you must understand how to apply sound estimation processes, tools, and data. Software Sizing
New and improved version of the Naval Surface Warfare Center, Dahlgren Division aeroprediction code (AP93) has been developed. The new code contains new technology that allows planar aerodynamics of axisymmetric solid rocket-type weapons to be computed with engineering accurately over the entire Mach number range and for angles of attack to 30 deg. New technology developed and included in the AP93 includes; A new engineering method to compute aeroheating information at a high Mach number; Extension of the second-order shock-expansion theory to include real-gas effects, including several new pressure prediction techniques; An improved body-alone nonlinear normal-force method; New methods for computing nonlinear aerodynamics of wing alone, wing body, and body wing due to angle of attack, and wing body due to control deflection; and a new base-dmg database and improved empirical base-drag estimation technique. ... Aeroprediction code (AP93), Planar aerodynamics, High mach number.
“As projects get more complicated, managers stop learning from their - perience. It is important to understand how that happens and how to change it.... Fallible estimates: In software development, initial estimates for a project shape the trajectory of decisions that a manager makes over its life. For ex- ple, estimates of the productivity of the team members influence decisions about the size of the team, which in turn affect the team’s actual output. The trouble is that initial estimates usually turn out to be wrong. ” (Sengupta, 2008) This book aims directly to increase the awareness among managers and practitioners that estimation is as important as the work to be done in so- ware...
With particular focus on the Asia-Pacific region, this book examines the rise and fall of sea powers. In the Asia-Pacific region there has been significant expansion of sea-based economies together with burgeoning naval power. Many claim that these processes will transform the world’s future economic and security relationships. The book addresses the question of to what extent the notion of ‘Asia rising’ is reflected by and dependent on its developing sea power. A central theme is the Chinese challenge to long-term Western maritime ascendency and what might be the consequences of this. In order to situate current and future developments this book includes chapters which analyse what sea power means and has meant, as well as its role, both historic and contemporary, in the rise and fall of great powers. This book will be of much interest to students of naval power, Asian politics, strategic studies, war and conflict studies, IR and security studies.
This is the first major English-language study to explore the broad and longstanding connections between Japan’s national security and the safety of its sea lanes. Tracing issues from pre-and post-1945 eras, the book explores how Japan’s concerns with sea lane protection have developed across such diverse fields as military strategy, diplomacy, trade policy, energy security, and law enforcement. Drawing upon case study material and primary research including interviews with officials and security analysts, the book presents a chronological analysis of Japan’s sea lane security. While Japan’s security policies have recently undergone relatively rapid change, a historical treatment of sea lane security issues reveals long-term continuity in security policymakers’ perceptions and responses regarding Japan's defence and foreign policy. Revealing a neglected but important aspect of Japan’s military and economic security, the book investigates why officials and analysts continue to portray the defence of Japan’s sea lanes as ‘a matter of life and death’.
The contents of this volume are drawn from the seventh International Symposium in Economic Theory and Econometrics, and represent recent advances in the development of concepts and methods in political economy. Contributors include leading practitioners working on formal, applied, and historical approaches to the subject. The collection will interest scholars in the fields of political science and political sociology no less than economics. Part I outlines relevant concepts in political economy, including implementation, community, ideology, and institutions. Part II covers theory and applications of the spatial model of voting. Part III considers the different characteristics that govern the behaviour of institutions, while Part IV analyses competition between political representatives. Part V is concerned with the way in which government acquires information held by voters or advisors, and Part VI addresses government choice on monetary policy and taxation.
“Intellectual property, software plagiarism, patents, and copyrights are complicated subjects. This book explains the key elements better than anything else I have seen. I highly recommend it to anyone who develops software or needs to protect proprietary software algorithms, and to all attorneys involved with IP litigation.” –Capers Jones, President, Capers Jones & Associates LLC “Intellectual property is an engine of growth for our high tech world and a valuable commodity traded in its own right. Bob Zeidman is a leading authority on software intellectual property, and in this book he shares his expertise with us. The book is comprehensive. It contains clear explanations of many di...
This book is organized with a brief overview of EVM, highlighting the key management questions EVM can help answer and exploring where EVM fits into the projet management universe. It also emphasizes EVM Performance Analysis and contains the basic elements of Earned Value Management. This book also outlines basic EVM practices in their project management context and shows how EVM practices facilitate project planning and control for better management of project cost and schedule performance.