The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
اقرأ المزيد
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
New developments in assessing and managing risk are discussed in this volume. Addressing both practitioners in the banking ...
اقرأ المزيد
The papers in this volume integrate results from current research efforts in earthquake engineering with research from the ...
اقرأ المزيد
Two-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes ...
اقرأ المزيد
“If necessity is the mother of invention, then deregulation is the father, and r- enue management (also known as yield ...
اقرأ المزيد
This book brings together the fields of robot spatial mapping and cognitive spatial mapping, Robot spatial mapping, in this ...
اقرأ المزيد
Robust Control Design with MATLAB® helps you learn how to use well-developed advanced robust control design methods in practical ...
اقرأ المزيد
Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...
اقرأ المزيد
Mechanical properties and fluid transport in rocks are intimately linked as deformation of a solid rock matrix immediately ...
اقرأ المزيد
This book covers methods based on a combination of granular computing, rough sets, and knowledge discovery in data mining ...
اقرأ المزيد
S+Functional Data Analysis is the first commercial object oriented package for exploring, modeling, and analyzing functional ...
اقرأ المزيدThis is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...
اقرأ المزيد
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
اقرأ المزيد
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
اقرأ المزيد
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...
اقرأ المزيد
The overall objective of the 7th International Conference on Sandwich Structures (ICSS-7) is to provide a forum for the presentation ...
اقرأ المزيد
Focuses on the important basic principles that are unique and timeless to satellite-based communications delivery systems. ...
اقرأ المزيد