✦ LIBER ✦

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7129 || Application of Automated Revision for UML Models: A Case Study

✍ Scribed by Bononi, Luciano; Datta, Ajoy K.; Devismes, Stéphane; Misra, Archan

Book ID: 118264888
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 470 KB
Category: Article
ISBN: 3642259596
DOI: 10.1007/978-3-642-25959-3_3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Dist

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7129 || Towards a Universal Construction for Transaction-Based Multiprocess Programs

✍ Bononi, Luciano; Datta, Ajoy K.; Devismes, Stéphane; Misra, Archan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 288 KB

This book constitutes the refereed proceedings of the 13th International Conference on Distributed Computing and Networking, ICDCN 2012, held in Hong Kong, China, during January 3-6, 2012. The 36 revised full papers and 1 short paper presented together with 4 poster papers were carefully reviewed an

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Automated Verification of Executable UML Models

✍ Aichernig, Bernhard K.; Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 545 KB

[Lecture Notes in Computer Science] Dist

[Lecture Notes in Computer Science] Distributed Computing in Sensor Systems Volume 3560 || Sensor Network Calculus – A Framework for Worst Case Analysis

✍ Prasanna, Viktor K.; Iyengar, Sitharama S.; Spirakis, Paul G.; Welsh, Matt 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 165 KB

[Lecture Notes in Computer Science] Netw

[Lecture Notes in Computer Science] Network and Parallel Computing Volume 6985 || A Trust-Based Defensive System Model for Cloud Computing

✍ Altman, Erik; Shi, Weisong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 439 KB

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Conceptual Modeling for Advanced Application Domains Volume 3289 || AFDM: A UML-Based Methodology for Engineering Intelligent Agents

✍ Wang, Shan; Tanaka, Katsumi; Zhou, Shuigeng; Ling, Tok-Wang; Guan, Jihong; Yang, 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 140 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science – ICCS 2008 Volume 5103 || A Semantic-Oriented Platform for Performance Monitoring of Distributed Java Applications

✍ Bubak, Marian; van Albada, Geert Dick; Dongarra, Jack; Sloot, Peter M. A. 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 461 KB

The Three-volume Set Lncs 5101-5103 Constitutes The Refereed Proceedings Of The 8th International Conference On Computational Science, Iccs 2008, Held In Krakow, Poland In June 2008. The 167 Revised Papers Of The Main Conference Track Presented Together With The Abstracts Of 7 Keynote Talks And The