Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web

... gian dịch vụ Để thực tổ hợp khắc phục vấn đề toán tổ hợp gây ra, luận án kết hợp phương pháp hình thức với phương pháp khai phá liệu Phương pháp hình thức, mà cụ thể phương pháp kiểm tra mơ hình, ... sâu vào trường hợp cụ thể tốn tổ hợp thành phần, tổ hợp dịch vụ Web Luận án cần đề xuất phương pháp đặc tả hình thức cho dịch vụ Web Đặc tả vừa hỗ trợ việc tổ hợp kiểm chứng dựa phương pháp kiểm. .. suất toán tổ hợp kiểm chứng dịch vụ Web 90 6.3.4 Tác động chất lượng gom cụm lên kết tổ hợp dịch vụ Web 92 Kết chương 92 CHƯƠNG CÔNG CỤ TỔ HỢP VÀ KIỂM CHỨNG TỔ HỢP DỊCH VỤ WEB TỰ