Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيدThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيدThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيدPrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
اقرأ المزيدThe service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
اقرأ المزيدConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
اقرأ المزيدThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
اقرأ المزيدConstitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in ...
اقرأ المزيدThis volume contains proceedings of the 5th International Conference Speech and Dialogue (TSD) Conference, held in Brno, ...
اقرأ المزيدThisyear’sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most ...
اقرأ المزيدHere are the refereed proceedings of the 9th International Conference on Text, Speech and Dialogue, TSD 2006. Coverage ranges ...
اقرأ المزيدThis book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
اقرأ المزيدComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...
اقرأ المزيدComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...
اقرأ المزيدThe Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
اقرأ المزيدThe Finite Element Method and Applications with ANSYS® provides the reader with theoretical and practical knowledge of the ...
اقرأ المزيدThis book includes the keynote lecture and fourteen selected papers that - scribe a general guideline and supporting concepts ...
اقرأ المزيدTHE NEXT WAVE IN COMPUTING, OPTIMIZATION, AND DECISION TECHNOLOGIES is divided into six sections. The first section contains ...
اقرأ المزيد