✦ LIBER ✦

[Lecture Notes in Computer Science] Abstract Software Specifications Volume 86 || On the semantics of fair parallelism

✍ Scribed by Bjøorner, Dines

Book ID: 111889904
Publisher: Springer Berlin Heidelberg
Year: 1980
Weight: 1013 KB
Category: Article
ISBN: 3540381368
DOI: 10.1007/3-540-10007-5_47

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Self

[Lecture Notes in Computer Science] Self-Adaptive Software Volume 1936 || Towards Semantics of Self-Adaptive Software

✍ Robertson, Paul; Shrobe, Howie; Laddaga, Robert 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 192 KB

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well-k

[Lecture Notes in Computer Science] Lang

[Lecture Notes in Computer Science] Languages and Compilers for Parallel Computing Volume 2481 || Compiler Optimizations with DSP-Specific Semantic Descriptions

✍ Pugh, Bill; Tseng, Chau-Wen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 248 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Cryptology — CRYPTO’ 86 Volume 263 || Towards a Theory of Software Protection (Extended Abstract)

✍ Odlyzko, Andrew M. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 767 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Natural Language Specifications

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 728 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Case-Based Reasoning Volume 3155 || Using CBR for Semantic Analysis of Software Specifications

✍ Funk, Peter; González Calero, Pedro A. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 213 KB

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Semantic Web Volume 7185 || Parallel ABox Reasoning of ${\mathcal{EL}}$ Ontologies

✍ Pan, Jeff Z.; Chen, Huajun; Kim, Hong-Gee; Li, Juanzi; Wu, Zhe; Horrocks, Ian; M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 330 KB

This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011. This conference is a joint event for regional semantic Web related conferences. JIST 2011 brings together the Asian Semantic Web Confer