खोजी परिणाम

This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019.The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cov... थप

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unu... थप

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common under... थप

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. The... थप

This, the 30th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains six in-depth papers focusing on the subject of cloud computing. Topics covered within this context include cloud storage, model-driven development, informative modeling, and security-critical systems.... थप

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2. 0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers - not only for experts in formal methods, but e. g. also for developers ... थप

This book reports on state-of-art research and applications in the field of databases and information systems. It includes both fourteen selected short contributions, presented at the East-European Conference on Advances in Databases and Information Systems (ADBIS 2013, September 1-4, Genova, Italy... थप