𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - Approximation of CFL by Regular Languages for Concurrent Program Verification

✍ Scribed by Kundu, Sukhamay; Mukhopadhyay, Supratik

Book ID: 120498065
Publisher: IEEE
Year: 2010
Weight: 131 KB
Category: Article
ISBN: 1424480892
DOI: 10.1109/COMPSACW.2010.68

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE 34th Annual Computer Sof

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - Requirements and Tools for Variability Management

✍ Aiello, Marco; Bulanov, Pavel; Groefsema, Heerko 📂 Article 📅 2010 🏛 IEEE ⚖ 821 KB

[IEEE 2010 IEEE 34th Annual Computer Sof

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - Negotiating Service Requirements among Strategic Actors

✍ Xu, Tuoye; Li, Tong; Liu, Lin; Bryant, Barrett R. 📂 Article 📅 2010 🏛 IEEE ⚖ 450 KB

[IEEE 2010 IEEE 34th Annual Computer Sof

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - Elicitation of Goals in Requirements Engineering Using Agile Methods

✍ Sen, A. M.; Hemachandran, K. 📂 Article 📅 2010 🏛 IEEE ⚖ 391 KB

[IEEE 2010 IEEE 34th Annual Computer Sof

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - Environmental Obfuscation of a Cyber Physical System - Vehicle Example

✍ Madden, Jason; McMillin, Bruce; Sinha, Anik 📂 Article 📅 2010 🏛 IEEE ⚖ 334 KB

[IEEE 2010 IEEE 34th Annual Computer Sof

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment

✍ Svecs, Igors; Sarkar, Tanmoy; Basu, Samik; Wong, Johnny S. 📂 Article 📅 2010 🏛 IEEE ⚖ 250 KB

[IEEE 2010 IEEE 34th Annual Computer Sof

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW) - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops - LAYSI: A Layered Approach for SLA-Violation Propagation in Self-Manageable Cloud Infrastructures

✍ Brandic, Ivona; Emeakaroha, Vincent C.; Maurer, Michael; Dustdar, Schahram; Acs, 📂 Article 📅 2010 🏛 IEEE ⚖ 534 KB