Vấn đề bế tắc (Deadlock) trong quy trình được hiện thực bằng BPEL : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

Vấn đề bế tắc (Deadlock) trong quy trình được hiện thực bằng BPEL : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

41 tr. + CD-ROM + tóm tắt

Saved in:

書目詳細資料
主要作者:	Phạm, Thị Dung
其他作者:	Võ, Đình Hiếu, người hướng dẫn
格式:	Theses and Dissertations
出版:	ĐHCN 2017
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/42985
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Vấn đề bế tắc (deadlock) trong quy trình được hiện thực bằng BPEL
由: Phạm, Thị Dung
出版: (2016)

So sánh hiệu năng của các trình xử lý BPEL : Luận văn ThS. Công nghệ thông tin: 60 48 10
由: Trần, Quốc Việt
出版: (2017)

Tính khả thi của việc chuẩn hóa quy trình nghiệp vụ và tự động hóa quy trình nghiệp vụ bằng dịch vụ Web trong bài toán chính phủ điện tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Ngô, Duy Kiên
出版: (2017)

So sánh hiệu năng của các trình xử lý BPEL
由: Trần, Quốc Việt, et al.
出版: (2016)

Một số quy trình suy diễn trong hệ mờ : Luận văn ThS. Công nghệ thông tin: 60 48 05
由: Hồ, Khánh Lê
出版: (2017)

Develop a BPEL Generator II
由: Fermi, Enrico
出版: (2009)

Nghiên cứu lập trình phản ứng với ngôn ngữ ELM : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Nguyễn, Như Minh
出版: (2017)

Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Hoàng, Văn Thủy
出版: (2017)

Mô phỏng sự điện phân bằng kĩ thuật Particle trong thực tại ảo : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Nguyễn, Thị Thuần
出版: (2017)

A DEVELOPMENT OF THE DEADLOCK DETECTION ALGORITHM FOR IDENTIFYING POTENTIAL DEADLOCKS
由: Suvarin Ploysri
出版: (2014)

What is deadlock?
由: Tay, Y.C.
出版: (2014)

Kiểm chứng một số ràng buộc trong chương trình Java sử dụng AOP : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Lê, Ngọc Minh
出版: (2017)

Generating web service request from annotated BPEL
由: Nguyen, Ngoc Son.
出版: (2009)

CHUYỂN GIAO CÔNG NGHỆ CẢI TIẾN QUY TRÌNH QUẢN LÝ VẬN HÀNH SẢN XUẤT HÌNH ẢNH NỘI DUNG CỦA CÔNG TY VINECOM
由: Dương, Đức Dũng
出版: (2016)

RESEARCH AND APPLY EVOLUTIONARY COMPUTATION TECHNIQUES ON AUTOMATIC TEXT SUMMARIZATION: Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Đỗ, Thùy Dương
出版: (2017)

Phát hiện kế thừa văn bản đa ngôn ngữ: Luận văn ThS. Công nghệ thông tin: 60 48 01 04
由: Nguyễn, Thị Dung
出版: (2017)

Chuyển giao công nghệ cải tiến quy trình quản lý vận hành sản xuất hình ảnh nội dung của Công ty Vinecom : Luận văn ThS. Quản trị công nghệ và phát triển doanh nghiệp (Chương trình đào tạo thí điểm)
由: Dương, Đức Dũng
出版: (2017)

Ứng dụng độ tương đồng chuỗi trong chống trùng lặp cho các tập dữ liệu văn bản có cấu trúc dạng bảng : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Trương, Lê Quân
出版: (2017)

Nghiên cứu và xây dựng hệ thống xác định khuôn mặt chung nhất trong tập ảnh số : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Cù, Việt Dũng
出版: (2017)

Nhận dạng biển báo giao thông đường bộ theo thời gian thực trên thiết bị di động : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Phùng, Duy Dũng
出版: (2017)

Bia văn miếu những ông Nghè triều Lê số 48
由: Nguyễn, Văn Tố
出版: (2021)

Trở lại vấn đề "quyền tác giả": sao lại thế được?
由: Hoa Bằng
出版: (2021)

On deadlocks of exclusive AND-requests for resources
由: Tay, Y.C., et al.
出版: (2014)

Kỹ thuật phân tích chương trình tĩnh cho bài toán phân tích hình dạng bộ nhớ Heap: Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Nguyễn, Quang Đại
出版: (2017)

Công nghệ tác tử và bài toán quản trị CSDL ngành thuế : Luận văn ThS. Công nghệ thông tin: 60 48 10
由: Trịnh, Văn Đại
出版: (2017)

Giải thuật di truyền cho bài toán đa mục tiêu: Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Trần, Hải Thanh
出版: (2017)

Nghiên cứu mô hình ngôn ngữ dựa trên mạng nơron : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Vũ, Thương Huyền
出版: (2017)

Ứng dụng ký pháp BPMN2.0 và nền tảng activiti trong tự động hóa quy trình nghiệp vụ : Luận văn ThS. Công nghệ thông tin : 60 48 10
由: Nguyễn, Văn Lâm
出版: (2017)

Giải pháp hệ thống quản lý nội dung của bộ công cụ test tiếng Việt cho người nước ngoài : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Nguyễn, Thị Dung
出版: (2017)

Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Nguyễn, Thế Huy
出版: (2017)

Nghiên cứu và ứng dụng phương pháp đặc tả phần mềm bằng ví dụ trong phát triển phần mềm : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Bùi, Thị Phương
出版: (2017)

Nghiên cứu các tập rút gọn trong bảng quyết đinh : Luận văn ThS. Công nghệ thông tin: 60 48 05
由: Lê, Thị Hân, 1982-
出版: (2017)

Deadlock Resolution in Automated Manufacturing Systems
由: Li, ZhiWu, et al.
出版: (2017)

Deadlock Detection Algorithm Simulator (DDAS)
由: Garcia, Chona C., et al.
出版: (1997)

An expressive framework for verifying deadlock freedom
由: Le, D.-K., et al.
出版: (2014)

Nghiên cứu văn bản tác phẩm Giáo nữ di quy
由: Nguyễn, Thị Thanh Nhàn
出版: (2020)

Nhận dạng chữ Nôm bằng máy véc - tơ hỗ trợ (SVM) : Luận văn ThS. Công nghệ thông tin: 60 48 10
由: Trần, Nghi Phú
出版: (2017)

Nghiên cứu khả năng truy vấn mở rộng của PostgreSQL trên dữ liệu Raster : Luận văn ThS. Công nghệ thông tin: 60 48 15
由: Nguyễn, Ngọc Dũng
出版: (2017)

Phát hiện vai trò trong mạng xã hội : Luận văn ThS. Công nghệ thông tin: 60 48 01 04
由: Lê, Thị Kim Dung
出版: (2017)

Thích hợp các ontology trong OWL và ứng dụng : Luận văn ThS. Công nghệ thông tin: 60 48 10
由: Bùi, Thị Thu Dung
出版: (2017)