✦ LIBER ✦

Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes

✍ Scribed by YanHua Du; PengCheng Xiong; YuShun Fan; Xitong Li

Book ID: 114670759
Publisher: IEEE
Year: 2011
Tongue: English
Weight: 794 KB
Volume: 41
Category: Article
ISSN: 1083-4427
DOI: 10.1109/tsmca.2011.2116003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 465 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

Temporal dynamics and response to foggin

Temporal dynamics and response to fogging or fumigation of stored-product Coleoptera in a grain processing facility

✍ M.D. Toews; J.F. Campbell; F.H. Arthur 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 376 KB

Temporal variations in seismicity during

Temporal variations in seismicity during quasi-static and dynamic rock failure : Meredith, P G; Main, I G; Jones, C TectonophysicsV175, N1/3, March 1990, P249–268. (Paper to the Symposium on Earthquake Source Processes, 19th IUGG General Assembly, Vancouver, 19–21 August 1987)

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 114 KB 👁 2 views