Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for rea……続きを見る
著者:Katinka Wolter
出版社: Springer Berlin Heidelberg
発売日: 2016年05月23日
As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correc……続きを見る
Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirem……続きを見る
著者:Marc Hassenzahl
出版社: Morgan & Claypool Publishers
発売日: 2010年07月07日
In his book "In the blink of an eye" Walter Murch, the Oscar-awarded editor of The English Patient, Apocalypse Now, and many other outstanding movies, devises the Rule of Six -- six criteria for wha……続きを見る
Over the past three decades, the Internet's rapid growth has spurred the development of new applications in mobile computing, digital music, online video, gaming and social networks. These applicati……続きを見る
This textbook provides a practical perspective on autonomic computing. Through the combined use of examples and hands-on projects, the book enables the reader to rapidly gain an understanding of the……続きを見る
This work presents a study of cache replacement strategies designed for static web content. Proxy servers can improve performance by caching static web content such as cascading style sheets, java s……続きを見る
Smartphone users have come to expect high-quality apps. This has increased the importance of software testing in mobile software development. Unfortunately, testing appsーparticularly the GUIーcan b……続きを見る
出版社: Springer International Publishing
発売日: 2015年12月29日
This book constitutes the refereed post-conference proceedings of the 6th TPC Technology Conference, TPCTC 2014, held in Hangzhou, China, in September 2014. It contains 12 selected peer-reviewed pap……続きを見る
With the average salary for a business analyst in the United States reaching above $90,000 per year, more talented, experienced professionals are pursuing business analysis careers than ever before.……続きを見る
The Mobile Ad Hoc Network (MANET) has emerged as the next frontier for wireless communications networking in both the military and commercial arena. Handbook of Mobile Ad Hoc Networks for Mobility M……続きを見る
出版社: Springer International Publishing
発売日: 2015年12月29日
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Energy Efficient Data Centers, E2DC 2014, held in Cambridge, UK, in June 2014. The 10……続きを見る
出版社: Springer International Publishing
発売日: 2015年09月01日
This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equa……続きを見る
出版社: Springer International Publishing
発売日: 2015年11月10日
This book constitutes the post-proceedings of the 6th International ICST Conference on Mobile Networks and Management, MONAMI 2014, held in Würzburg, Germany, in September 2014. The 22 revised full ……続きを見る
This book is a practical, hands-on guide to implementing and deploying apps on the AppFog platform.Implementing AppFog is for developers who want to be able to upload applications to the cloud, and ……続きを見る
出版社: Springer International Publishing
発売日: 2015年12月29日
This book constitutes the refereed proceedings of the 16th International Conference on Passive and Active Measurement, PAM 2015, held in New York, NY, USA, in March 2015. The 27 full papers presente……続きを見る
出版社: Springer International Publishing
発売日: 2015年12月29日
This book constitutes the thoroughly refereed post conference proceedings of the 5th International Conference on Cloud Computing, CloudComp 2014, held in Guilin, China, in October 2014. The 25 revis……続きを見る
We live in a commercial world where much of our work is undertaken through a project -oriented approach. This has the advantage of determining the cost and time of the project to be undertaken, whic……続きを見る
This book offers readers a quick, comprehensive and up-to-date overview of the most important methodologies, technologies, APIs and standards related to the portability and interoperability of cloud……続きを見る
For the last two decades, IS researchers have conducted empirical studies leading to a better understanding of the impact of Systems Analysis and Design methods in business, managerial, and cultural……続きを見る
著者:Robert Lover
出版社: Springer London
発売日: 2015年12月29日
The ability to reason correctly is critical to most aspects of computer science and to software development in particular. Since logic is the discipline concerned with the general rules and criteria……続きを見る
This book is concentrated on the synergy between computer science and numerical analysis. It is written to provide a firm understanding of the described approaches to computer scientists, engineers ……続きを見る
This work presents modern implementations of relevant molecular dynamics algorithms using ls1 mardyn, a simulation program for engineering applications. The text focuses strictly on HPC-related aspe……続きを見る
Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband commun……続きを見る
出版社: Springer International Publishing
発売日: 2015年12月29日
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, O……続きを見る
出版社: Springer International Publishing
発売日: 2015年12月29日
This book constitutes the thoroughly refereed proceedings of the 5th International Workshop, PMBS 2014 in New Orleans, LA, USA in November 2014.
The 12 full and 2 short papers presented in this volu……続きを見る
著者:Mark Burgess
出版社: O'Reilly Media
発売日: 2015年04月23日
Quite soon, the world’s information infrastructure is going to reach a level of scale and complexity that will force scientists and engineers to approach it in an entirely new way. The familiar noti……続きを見る
Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many ……続きを見る
This unique text/reference describes an exciting and novel approach to supercomputing in the DataFlow paradigm. The major advantages and applications of this approach are clearly described, and a de……続きを見る