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

Nghiên cứu đánh giá và dự báo khả năng chịu bão của các công trình giàn thép cao tầng bằng phương pháp dao động
Số hóa di tích lịch sử cấp quốc gia đặc biệt di tích cấp quốc gia trên địa bàn tỉnh Yên Bái
Ứng dụng kết quả nghiên cứu sản xuất nước uống tưu trái cây tươi của trường Đại học Cần Thơ
Nghiên cứu tác dụng chống viêm và chống ung thư của một số cây thuốc dân gian Việt Nam
Nghiên cứu một số giải pháp nâng cao năng lực cạnh tranh tỉnh Nam Định trong bối cảnh cuộc cách mạng công nghiệp 40
Nghiên cứu đề xuất hướng dẫn khoanh định khu vực cấm hoặc tạm thời cấm khai thác cát sỏi trên sông để phòng chống sạt lở bờ sông
Đánh giá thực trạng đào tạo nghề nông nghiệp trên địa bàn tỉnh Bạc Liêu giai đoạn 2011-2015
Điểm thử nghiệm sàn giao dịch công nghệ Bạc Liêu
Lịch sử ngành Hậu cần – Kỹ thuật lực lượng vũ trang tỉnh Tây Ninh (1945 – 2015)
Hoàn thiện quy trình công nghệ kỹ thuật và sản xuất thử nghiệm Bồn trộn bê tông thương phẩm đa năng loại 05m3 - 15m3-25m3

liên kết website

Lượt truy cập

Lượt truy cập : 16,192,213

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