Rock Joints deals exclusively with the mechanical genesis of joints in rocks. It is aimed at a coherent, critical and comprehensible ...
اقرأ المزيدRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيدProgram Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
اقرأ المزيدThe book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
اقرأ المزيدThis book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...
اقرأ المزيدThis book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
اقرأ المزيدSoftware-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
اقرأ المزيدPast cycles of sovereign lending and default in emerging markets suggest that debt crises will recur at some point. In addressing ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيدThe book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
اقرأ المزيدThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيدThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيدThe focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...
اقرأ المزيدThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيدContains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
اقرأ المزيدThis book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
اقرأ المزيدThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
اقرأ المزيد