Search

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.

This book constitutes the refereed proceedings of the 4th International Conference on Computational and Corpus-Based Phraseology, Europhras 2022, held in Malaga, Spain, in September 2022.The 16 full papers presented in this book were carefully reviewed and selected from 59 submissions. The papers in this volume cover a number of topics including general corpus-based approaches to phraseology, phraseology in translation and cross-linguistic studies, phraseology in language teaching and learning, phraseology in specialized languages, phraseology in lexicography, cognitive approaches to phraseology, the computational treatment of multiword expressions, and the development, annotation, and exploitation of corpora for phraseological studies.

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

This volume constitutes selected papers presented during the 8th International Conference on Metaheuristics and Nature Inspired Computing, META 2021, held in Marrakech, Morocco, in October 201. Due to the COVID-19 pandemic the conference was partiqally held online. The 16 papers were thoroughly reviewed and selected from the 53 submissions. They are organized in the topical sections on ​combinatorial optimization; continuous optimization; optimization and machine learning; applications.

This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, held in Nový Smokovec, Slovakia, during January 15–18, 2023.The 22 full papers presented together with 2 best papers and 2 best students papers in this book were carefully reviewed and selected from 43 submissions.This workshop focuses on graphs problems and optimization; graph drawing and visualization; NP-hardness and fixed parameter tractability; communication and temporal graphs; complexity and learning; and robots and strings.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures.

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.• The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. •The conference was held in a hybrid format

This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022. The 17 regular and 23 short papers presented were carefully reviewed and selected from 188 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.

The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

The three-volume sets constitute the refereed proceedings of the 15th International Conference on Knowledge Science, Engineering and Management, KSEM 2022, held in Singapore, during August 6–8, 2022. The 169 full papers presented in these proceedings were carefully reviewed and selected from 498 submissions. The papers are organized in the following topical sections:Volume I: Knowledge Science with Learning and AI (KSLA)Volume II: Knowledge Engineering Research and Applications (KERA)Volume III: Knowledge Management with Optimization and Security (KMOS)

This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking, and operating systems. This is not a training manual for becoming an expert performance analyst. Rather, the objective is to help the reader construct simple models for analyzing and understanding the systems that they are interested in. Describing a complicated system abstractly with mathematical equations requires a careful choice of assumptions and approximations. They make the model tractable, but they must not remove essential characteristics of the system, nor introduce spurious properties. To help the reader understand the choices and their implications, this book discusses the analytical models for 40 research papers. These papers cover a broad range of topics: GPUs and disks, routers and crawling, databases and multimedia, worms and wireless, multicore and cloud, security and energy, etc. An appendix provides many questions for readers to exercise their understanding of the models in these papers.

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014. This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions. The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments. The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields.<

This book constitutes the refereed proceedings of the 7th International Conference on Digital Forensics and Cyber Crime, ICDF2C 2015, held in Seoul, South Korea, in October 2015. The 14 papers and 3 abstracts were selected from 40 submissions and cover diverse topics ranging from tactics of cyber crime investigations to digital forensic education, network forensics, and international cooperation in digital investigations.

This book constitutes the refereed proceedings at PAKDD Workshops 2015, held in conjunction with PAKDD, the 19th Pacific-Asia Conference on Knowledge Discovery and Data Mining in Ho Chi Minh City, Vietnam, in May 2015. The 23 revised papers presented were carefully reviewed and selected from 57 submissions. The workshops affiliated with PAKDD 2015 include: Pattern Mining and Application of Big Data (BigPMA), Quality Issues, Measures of Interestingness and Evaluation of data mining models (QIMIE), Data Analytics for Evidence-based Healthcare (DAEBH), Vietnamese Language and Speech Processing (VLSP).

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions. They are organized in the following topical sections: state of the art and future of AS; MS experimental frameworks for AS; methods and algorithms for AS.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

This book constitutes the refereed proceedings of the 8th International Conference on Quantum Interaction, QI 2014, held in Filzbach, Switzerland, in June/July 2014. The 19 papers together with 20 invited keynotes presented in this book were carefully selected from 22 submissions. Quantum Interaction has developed into an emerging interdisciplinary area of science combining research topics in fundamental issues, semantic and memory, decision making, games, politics and social aspects, non-locality and entanglement.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015.The 31 contributions presented were carefully reviewed and selected for inclusion in this book. The papers address all fields between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. Special focus is given to algorithm selection and configuration, learning, fitness landscape, applications, dynamic optimization, multi-objective, max-clique problems, bayesian optimization and global optimization, data mining and - in a special session - also on dynamic optimization.

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Large-Scale Scientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015. The 49 revised full papers presented were carefully reviewed and selected from 64 submissions. The general theme for LSSC 2015 was Large-Scale Scientific Computing with a particular focus on the organized special sessions: enabling exascale computation; control and uncertain systems; computational microelectronics - from monte carlo to deterministic approaches; numerical methods for multiphysics problems; large-scale models: numerical methods, parallel computations and applications; mathematical modeling and analysis of PDEs describing physical problems; a posteriori error control and iterative methods for maxwell type problems; efficient algorithms for hybrid HPC systems; multilevel methods on graphs; and applications of metaheuristics to large-scale problems.

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2014, held in Rome, Italy, in May 2014. The 32 revised full papers included in the volume were carefully reviewed and selected from 50 submissions, of which 46 were presented at the workshop. They are organized in the following topical sections: unmanned aerial vehicle, distributed simulation, robot system, military application, validation, human-machine communication, gazebo simulator, and algorithm.

This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Face and Facial Expression Recognition from Real World Videos in conjunction with the 22nd International Conference on Pattern Recognition held in Stockholm, Sweden, in August 2014. The 11 revised full papers were carefully reviewed and selected from numerous submissions and cover topics such as Face Recognition, Face Alignment, Facial Expression Recognition and Facial Images.

This book constitutes the refereed proceedings of the 14th European Conference on Evolutionary Computation in Combinatorial Optimization, Evo COP 2014, held in Granada, Spain, in April 2014, co-located with the Evo•2014 events Euro GP, Evo BIO, Evo MUSART and Evo Applications.The 20 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover the following topics: swarm intelligence algorithms, fitness landscapes and adaptive algorithms, real world and routing problems and cooperative and metaheuristic search.

The book constitutes the refereed proceedings of the 17th European Conference on Genetic Programming, Euro GP 2014, held in Grenada, Spain, in April 2014 co-located with the Evo•2014 events, Evo BIO, Evo COP, Evo MUSART and Evo Applications.The 15 revised full papers presented together with 5 poster papers were carefully reviewed and selected form 40 submissions. The wide range of topics in this volume reflects the current state of research in the field. Thus, we see topics as diverse as search-based software engineering, image analysis, dynamical systems, evolutionary robotics and operational research to the foundations of search as characterized through semantic variation operators.

This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013. The 143 revised full papers presented in both volumes were carefully reviewed and selected from numerous submissions. The papers cover important fields of parallel/distributed/cloud computing and applied mathematics, such as numerical algorithms and parallel scientific computing; parallel non-numerical algorithms; tools and environments for parallel/distributed/cloud computing; applications of parallel computing; applied mathematics, evolutionary computing and metaheuristics.

This book constitutes the refereed proceedings of the 11th Latin American Symposium on Theoretical Informatics, LATIN 2014, held in Montevideo, Uruguay, in March/April 2014. The 65 papers presented together with 5 abstracts were carefully reviewed and selected from 192 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on complexity, computational geometry, graph drawing, automata, computability, algorithms on graphs, algorithms, random structures, complexity on graphs, analytic combinatorics, analytic and enumerative combinatorics, approximation algorithms, analysis of algorithms, computational algebra, applications to bioinformatics, budget problems and algorithms and data structures.

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held in Bordeaux, France, in October 2013. The 20 revised papers were carefully reviewed and selected from 39 submissions. The papers are focused to theory, ant colony optimization, applications, combinatorial and discrete optimization, memetic algorithms, genetic programming, interactive evolution, parallel evolutionary algorithms, and swarm intelligence.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Joint Conference in Signal Processing and Information Technology, SPIT 2012, held in Dubai, UAE, in September 2012. The 32 papers included in this volume were carefully reviewed and selected from 330 submissions. The papers cover research and development activities in computer science, information technology, computational engineering, image and signal processing, and communication.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2013, held in Tokyo, Japan, in December 2013. The 67 revised full papers presented were carefully reviewed and selected from 141 submissions. The papers and 2 invited talks cover a wide range of topics such as mobile applications, social networks, networking, data management and services.

This book constitutes the revised selected papers of the 9th Italian Workshop on Advances in Artificial Life and Evolutionary Computation held in Vietri sul Mare, Italy, in May 2014, in conjunction with the 24th Italian Workshop on Neural Networks, WIRN 2014.The 16 papers presented have been thoroughly reviewed and selected from 40 submissions. They cover the following topics: artificial neural networks; fuzzy inference systems; rough set; approximate reasoning; and optimization methods such as evolutionary computation, swarm intelligence, particle swarm optimization.

This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Computer Graphics, GRAPP 2013, and the International Conference on Information Visualization IVAPP 2013, held in Barcelona, Spain, in February 2013. The 15 revised full papers presented were carefully reviewed and selected from 445 submissions. The papers are organized in topical sections on theory and applications in computer vision, image analysis, computer graphics, and information visualization.

This book constitutes the refereed proceedings of the Computer Games Workshop, CGW 2013, held in Beijing, China, in August 2013, in conjunction with the Twenty-third International Conference on Artificial Intelligence, IJCAI 2013. The 9 revised full papers presented were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics related to computer games. They discuss six games that are played by humans in practice: Chess, Domineering, Chinese Checkers, Go, Goofspiel, and Tzaar. Moreover, there are papers about the Sliding Tile Puzzle, an application, namely, Cooperative Path-Finding Problems, and on general game playing.

This book constitutes the refereed proceedings of the Computer Games Workshop, CGW 2014, held in conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, in August 2014.The 11 revised full papers presented were carefully reviewed and selected from 20 submissions. The papers address all aspects of artificial intelligence and computer game playing. They discuss topics such as general game playing, video game playing, and cover 11 abstract games: 7 Wonders, Amazons, AtariGo, Ataxx, Breakthrough, Chinese Dark Chess, Connect6, NoGo, Pentalath, Othello, and Catch the Lion.

This book constitutes the thoroughly refereed revised selected papers of the First Workshop on Big Data Benchmarks, WBDB 2012, held in San Jose, CA, USA, in May 2012 and the Second Workshop on Big Data Benchmarks, WBDB 2012, held in Pune, India, in December 2012.The 14 revised papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on benchmarking, foundations and tools; domain specific benchmarking; benchmarking hardware and end-to-end big data benchmarks.

This book constitutes the revised selected papers of the workshops of the 13th International Conference of Web-based Learning, ICWL 2014, held in Tallinn, Estonia, in August 2014. This volume comprises papers of six workshops: 1. The Seventh International Workshop on Social and Personal Computing for Web-Supported Learning Communities (SPeL 2014) 2. The First International Workshop on Peer-Review, Peer-Assessment, and Self-Assessment in Education (PRASAE 2014) 3. International Workshop on Mobile and Personalized Learning (IWMPL 2014) 4. The First International Workshop on Open Badges in Education (OBIE 2014) 5. The Fourth International Symposium on Knowledge Management & E-Learning (KMEL 2014) 6. The Future of e-Textbooks Workshop (FeT 2014).

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th International Conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. The 99 papers presented were carefully reviewed and selected from 145 submissions. The papers include seven workshops that have been co-located with Euro-Par in the previous years: - Big Data Cloud (Second Workshop on Big Data Management in Clouds) - Hetero Par (11th Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (Fourth Workshop on High Performance Bioinformatics and Biomedicine) - OMHI (Second Workshop on On-chip Memory Hierarchies and Interconnects) - PROPER (Sixth Workshop on Productivity and Performance) - Resilience (Sixth Workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - UCHPC (Sixth Workshop on Un Conventional High Performance Computing) as well as six newcomers: - DIHC (First Workshop on Dependability and Interoperability in Heterogeneous Clouds) - Fed ICI (First Workshop on Federative and Interoperable Cloud Infrastructures) - LSDVE (First Workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MHPC (Workshop on Middleware for HPC and Big Data Systems) -PADABS ( First Workshop on Parallel and Distributed Agent Based Simulations) - ROME (First Workshop on Runtime and Operating Systems for the Many core Era) All these workshops focus on promotion and advancement of all aspects of parallel and distributed computing.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Membrane Computing, CMC 2013, held in Chişinău, Republic of Moldova, in August 2013.The 16 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 26 papers presented at the conference. Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multi sets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Multi-Agent-Based Simulation, MABS 2013, held in Saint Paul, Minnesota, USA, in May 2013. The workshop was help in conjunction with Twelfth International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2013. The 11 revised full papers included in this volume were carefully selected from 29 submissions. The papers are organized in topical sections on MABS for real-time and online data, formal approaches in MABS: design and validation, MABS in environmental modeling, simulating social phenomena.

This book constitutes the refereed proceedings of the 7th International Conference on Quantum Interaction, QI 2013, held in Leicester, UK, in July 2013. The 31 papers presented in this book were carefully selected from numerous submissions. The papers cover various topics on quantum interaction and revolve around four themes: information processing/retrieval/semantic representation and logic; cognition and decision making; finance/economics and social structures and biological systems.

This book constitutes the thoroughly refereed post-conferenceproceedings of the 10th International Meeting on ComputationalIntelligence Methods for Bioinformatics and Biostatistics, CIBB 2013, held in Nice, France in June 2013.The 19 revised full papers presented were carefully reviewed andselected from 35 submissions. The papers are organized in topicalsections on bioinformatics, biostatistics, knowledge based medicine, and data integration and analysis in omic-science.

This book constitutes the refereed proceedings of the 5th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2011, held in Poznan, Poland, in November 2011. The 44 revised and in many cases substantially extended papers presented in this volume were carefully reviewed and selected from 111 submissions. The focus of the papers is on the following topics: speech, parsing, computational semantics, text analysis, text annotation, language resources: general issues, language resources: ontologies and Wordnets and machine translation.

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2014. The 16 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on framework and tools; information and communication technologies in teaching and learning; information and communication technologies in research and industrial applications.