This book constitutes the refereed proceedings of the 7th International Conference on Electronic Government, EGOV 2008, held ...
Lire la suiteWelcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, ...
Lire la suiteOffers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...
Lire la suiteEmerging Nanotechnologies: Test, Defect Tolerance and Reliability covers various technologies that have been developing over ...
Lire la suiteThis, the first volume in a series of edited books designed to synthesize research, theory, and practice, will focus on key ...
Lire la suiteDoes the Nordic model of education still stand by its original principles and safeguard education for all? This Open Access ...
Lire la suiteThis book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...
Lire la suiteExtreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Lire la suiteIn its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Lire la suiteThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lire la suiteThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suiteThis book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...
Lire la suiteFirst Steps: Developing BizTalk Applications is a primer to most other introductory BizTalk books. If you feel like traditional ...
Lire la suiteTesting often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lire la suiteSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suiteThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suiteThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suiteThis book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suite