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

Nâng cao chất lượng hiệu quả tiếp xúc cử tri của đại biểu Quốc hội và đại biểu Hội đồng nhân dân các cấp tỉnh Ninh Bình
Phân định các vùng biển trong pháp luật quốc tế và thực tiễn phân định các vùng biển của Việt Nam và các nước trong khu vực
Điều tra đánh giá nguồn cá bố mẹ và con giống tự nhiên của họ cá mú (Serranidae) ở vùng biển Nam Trung Bộ (từ Đà Nẵng đến Bình Thuận) và đề xuất biện pháp khai thác bền vững
Lúa tôm càng xanh - tôm sú
Phát triển các phương pháp hiệu quả khai thác và dự đoán dữ liệu có cấu trúc
Xây dựng mô hình ứng dụng công nghệ thông tin trong toàn ngành tài chính gia đoạn 2016 - 2020
Cơ sở khoa học xây dựng Luật tổ chức Chính phủ theo Hiến pháp năm 2013
Thực trạng và giải pháp kiện toàn bộ máy các cơ quan quản lý nhà nước đối với khu kinh tế khu công nghiệp
Nghiên cứu bảo tồn và phát huy giá trị di sản văn hóa phi vật thể trên địa bàn tỉnh Long An
Xây dựng Sổ tay Kiểm toán nội bộ của Ngân hàng Nhà nước Việt Nam

liên kết website

Lượt truy cập

Lượt truy cập : 13079543

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ụ.