Gul Agha - Böcker
Visar alla böcker från författaren Gul Agha. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
580 kr
Skickas inom 5-8 vardagar
Del 9826 - Lecture Notes in Computer Science
Quantitative Evaluation of Systems
13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Häftad, Engelska, 2016
535 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. Markov decision processes and Markovian analysis;
Coordination Models and Languages
12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Häftad, Engelska, 2010
551 kr
Skickas inom 10-15 vardagar
In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hosted and organized by the Centrum voor Wiskunde en Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends for bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms.The 12th Formal Methods for Open Object-Based Distributed Systems and the 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences.
Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Häftad, Engelska, 2011
551 kr
Skickas inom 10-15 vardagar
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology.The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.
Concurrent Objects and Beyond
Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Häftad, Engelska, 2014
551 kr
Skickas inom 10-15 vardagar
This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.