This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
Lire la suiteThe area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This ...
Lire la suiteThis volume of Springer’s Lecture Notes in Computer Science series records th the proceedings of the 8 International Workshop ...
Lire la suiteThe TCGOV 2005 international conference on e-government was held at the Free University of Bozen-Bolzano during March 2–4, ...
Lire la suiteThis book covers Multilingual Textual Document Retrieval, Domain-Specifig Information Retrieval, i-CLEF, QA@CLEF, ImageCLEF, ...
Lire la suiteThis book covers Multilingual Textual Document Retrieval, Domain-Specifig Information Retrieval, i-CLEF, QA@CLEF, ImageCLEF, ...
Lire la suiteMethods for the artificial evolution of active components, such as programs and hardware, are rapidly developing branches ...
Lire la suiteThis volume addresses the current debate on extended working life policy by considering the influence of gender and health ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
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 suiteThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lire la suiteThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThese papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
Lire la suiteThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lire la suiteThis book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...
Lire la suiteConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suite