Proceedings Of The 2015 Federated Conference On Software Development And Object Technologies
DOWNLOAD
Download Proceedings Of The 2015 Federated Conference On Software Development And Object Technologies PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Proceedings Of The 2015 Federated Conference On Software Development And Object Technologies book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Proceedings Of The 2015 Federated Conference On Software Development And Object Technologies
DOWNLOAD
Author : Jan Janech
language : en
Publisher: Springer
Release Date : 2016-12-14
Proceedings Of The 2015 Federated Conference On Software Development And Object Technologies written by Jan Janech and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-12-14 with Technology & Engineering categories.
This book presents the proceedings of the International Conference SDOT which was organized at the University in Žilina, Faculty of Management Sciences and Informatics, Slovak Republic in November 19, 2015. The conference was truly international both in terms of the amount of foreign contributions and in terms of composition of steering and scientific committees. The book and the conference serves as a platform of professional exchange of knowledge and experience for the latest trends in software development and object-oriented technologies (theory and practice). This proceedings present information on the latest developments and mediate the exchange of experience between practitioners and academia.
A Functional Comprehensive And Extensible Multi Platform Querying And Transformation Approach
DOWNLOAD
Author : Tassilo Horn
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2015-07-11
A Functional Comprehensive And Extensible Multi Platform Querying And Transformation Approach written by Tassilo Horn and has been published by Logos Verlag Berlin GmbH this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-07-11 with Computers categories.
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.
Implicit Incremental Model Analyses And Transformations
DOWNLOAD
Author : Hinkel, Georg
language : en
Publisher: KIT Scientific Publishing
Release Date : 2021-07-20
Implicit Incremental Model Analyses And Transformations written by Hinkel, Georg and has been published by KIT Scientific Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-07-20 with Computers categories.
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
Proceedings Of The 4th International Conference Engineering Innovations And Sustainable Development
DOWNLOAD
Author : Valentina Mantulenko
language : en
Publisher: Springer Nature
Release Date : 2025-07-10
Proceedings Of The 4th International Conference Engineering Innovations And Sustainable Development written by Valentina Mantulenko and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2025-07-10 with Business & Economics categories.
This book presents the contributions from the 4th International Conference Engineering Innovations and Sustainable Development, held in Samara, Russia, on February 27, 2025. By presenting international research on various sustainability issues, it includes topics such as current trends in industrial and agricultural development, innovations in the construction and transport sectors, problems concerning the financing of innovative activities and governmental support for innovations, and engineering competences and skills in the era of new technologies. It also covers the economic, environmental, and informational aspects of sustainable development in the context of innovations. Finally, the book addresses theoretical and practical aspects by studying the phenomenon of sustainability and engineering development in terms of comparing international experiences. It provides significant value for scientists, teachers, and students of higher educational institutions, and specialists, who are researching sustainable development issues in the era of engineering innovations.
Information And Software Technologies
DOWNLOAD
Author : Giedre Dregvaite
language : en
Publisher: Springer
Release Date : 2016-09-29
Information And Software Technologies written by Giedre Dregvaite and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-09-29 with Computers categories.
This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016. The 61 papers presented were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; software engineering; information technology applications.
High Level Models Of Unconventional Computations
DOWNLOAD
Author : Andrew Schumann
language : en
Publisher: Springer
Release Date : 2018-05-17
High Level Models Of Unconventional Computations written by Andrew Schumann and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-05-17 with Technology & Engineering categories.
This book shows that the plasmodium of Physarum polycephalum can be considered a natural labelled transition system, and based on this, it proposes high-level programming models for controlling the plasmodium behaviour. The presented programming is a form of pure behaviourism: the authors consider the possibility of simulating all basic stimulus–reaction relations. As plasmodium is a good experimental medium for behaviouristic models, the book applies the programming tools for modelling plasmodia as unconventional computers in different behavioural sciences based on studying the stimulus–reaction relations. The authors examine these relations within the framework of a bio-inspired game theory on plasmodia they have developed i.e. within an experimental game theory, where, on the one hand, all basic definitions are verified in experiments with Physarum polycephalum and Badhamia utricularis and, on the other hand, all basic algorithms are implemented in the object-oriented language for simulations of plasmodia. The results allow the authors to propose that the plasmodium can be a model for concurrent games and context-based games.
Beyond Databases Architectures And Structures Advanced Technologies For Data Mining And Knowledge Discovery
DOWNLOAD
Author : Stanisław Kozielski
language : en
Publisher: Springer
Release Date : 2016-04-28
Beyond Databases Architectures And Structures Advanced Technologies For Data Mining And Knowledge Discovery written by Stanisław Kozielski and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-04-28 with Computers categories.
This book constitutes the refereed proceedings of the 12th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2016, held in Ustroń, Poland, in May/June 2016. It consists of 57 carefully reviewed papers selected from 152 submissions. The papers are organized in topical sections, namely artificial intelligence, data mining and knowledge discovery; architectures, structures and algorithms for efficient data processing; data warehousing and OLAP; natural language processing, ontologies and semantic Web; bioinformatics and biomedical data analysis; data processing tools; novel applications of database systems.
Behaviourism In Studying Swarms Logical Models Of Sensing And Motoring
DOWNLOAD
Author : Andrew Schumann
language : en
Publisher: Springer
Release Date : 2018-05-25
Behaviourism In Studying Swarms Logical Models Of Sensing And Motoring written by Andrew Schumann and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-05-25 with Technology & Engineering categories.
This book presents fundamental theoretical results for designing object-oriented programming languages for controlling swarms. It studies the logics of swarm behaviours. According to behaviourism, all behaviours can be controlled or even managed by stimuli in the environment: attractants (motivational reinforcement) and repellents (motivational punishment). At the same time, there are two main stages in reactions to stimuli: sensing (perceiving signals) and motoring (appropriate direct reactions to signals). This book examines the strict limits of behaviourism from the point of view of symbolic logic and algebraic mathematics: how far can animal behaviours be controlled by the topology of stimuli? On the one hand, we can try to design reversible logic gates in which the number of inputs is the same as the number of outputs. In this case, the behaviouristic stimuli are inputs in swarm computing and appropriate reactions at the motoring stage are its outputs. On the other hand, the problem is that even at the sensing stage each unicellular organism can be regarded as a logic gate in which the number of outputs (means of perceiving signals) greatly exceeds the number of inputs (signals).
Proceedings Of The Second International Scientific Conference Intelligent Information Technologies For Industry Iiti 17
DOWNLOAD
Author : Ajith Abraham
language : en
Publisher: Springer
Release Date : 2017-09-30
Proceedings Of The Second International Scientific Conference Intelligent Information Technologies For Industry Iiti 17 written by Ajith Abraham and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-09-30 with Technology & Engineering categories.
This volume of Advances in Intelligent Systems and Computing highlights key scientific achievements and innovations in all areas of automation, informatization, computer science, and artificial intelligence. It gathers papers presented at the IITI 2017, the Second International Conference on Intelligent Information Technologies for Industry, which was held in Varna, Bulgaria on September 14–16, 2017. The conference was jointly co-organized by Technical University of Varna (Bulgaria), Technical University of Sofia (Bulgaria), VSB Technical University of Ostrava (Czech Republic) and Rostov State Transport University (Russia). The IITI 2017 brought together international researchers and industrial practitioners interested in the development and implementation of modern technologies for automation, informatization, computer science, artificial intelligence, transport and power electrical engineering. In addition to advancing both fundamental research and innovative applications, the conference is intended to establish a new dissemination platform and an international network of researchers in these fields.
Eccws2015 Proceedings Of The 14th European Conference On Cyber Warfare And Security 2015
DOWNLOAD
Author : Dr Nasser Abouzakhar
language : en
Publisher: Academic Conferences Limited
Release Date : 2015-07-01
Eccws2015 Proceedings Of The 14th European Conference On Cyber Warfare And Security 2015 written by Dr Nasser Abouzakhar and has been published by Academic Conferences Limited this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-07-01 with Computers categories.
Complete proceedings of the 14th European Conference on Cyber Warfare and Security Hatfield UK Published by Academic Conferences and Publishing International Limited