Nghiên cứu và đề xuất một phương pháp tổ hợp dịch vụ web với các điều kiện ràng buộc hướng thời gian

Các nhiệm vụ khác

Phát triển chính quyền điện tử trong cải cách hành chính tại UBND Thị Trấn Rạng Đông
Ứng dụng công nghệ thông tin xây dựng sàn giao dịch thương mại điện tử nông sản thực phẩm an toàn trên địa bàn tỉnh Phú Thọ
Nghiên cứu điều kiện cổ khí hậu hình thành các trầm tích chứa dầu ở Đồng Ho (Quảng Ninh) nhằm định hướng tìm kiếm dầu khí
Giáo dục kỹ năng thoát hiểm cho học sinh tiểu học Hà Nội
Ứng dụng hệ thống lọc sinh học tuần hoàn nước trong ương giống và nuôi thương phẩm lươn đồng (Monopterus albus) tại quận Ninh Kiều thành phố Cần Thơ
Đánh giá tiềm năng lợi thế và xác định cơ cấu sản phẩm chiến lược của Nghệ An giai đoạn 2011-2015 có tính đến 2020
Nghiên cứu và đề xuất một phương pháp tổ hợp dịch vụ web với các điều kiện ràng buộc hướng thời gian
Nâng cao vai trò của tổ chức Đoàn và đội ngũ Đoàn viên thanh niên đối với công tác cải cách hiện đại hóa của Ngành Hải quan
Nghiên cứu xây dựng mô hình thí điểm thúc đẩy hiệu quả khởi nghiệp đổi mới sáng tạo cho đối tượng thanh niên tại tỉnh Nam Định
Nghiên cứu sản xuất giống cá dứa nhân tạo từ nguồn cá dứa bố mẹ trên địa bàn huyện Cần Giờ

liên kết website

Lượt truy cập

Lượt truy cập : 24,827,291

Nhiệm vụ đang tiến hành

Tên nhiệm vụ

Nghiên cứu và đề xuất một phương pháp tổ hợp dịch vụ web với các điều kiện ràng buộc hướng thời gian

Cấp quản lý nhiệm vụ

Cơ sở

Lĩnh vực nghiên cứu

Khoa học thông tin

Kinh phí

25 (triệu đồng)

Tóm tắt nội dung nghiên cứu chính

Đề xuất phương pháp dùng các kỹ thuật kiểm tra mô hình (model checking) trong việc tổ hợp dịch vụ web._x000d_ _x000d_ Đề xuất phương pháp phân loại các ràng buộc trong các yêu cầu tổ hợp để nâng cao tốc độ xử lý._x000d_ _x000d_ Hỗ trợ các ràng buộc về thời gian trong các yêu cầu tổ hợp dịch vụ web. Đây là hướng mới và sâu hơn về các yêu cầu thỏa mãn các thuộc tính phi chức năng, thuộc tính về chất lượng (Quality of Service- QoS) của dịch vụ.