Search

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.

This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.The 11 full papers were carefully reviewed and selected for inclusion in this volume. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.

This book constitutes the refereed proceedings of the 9th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2018, held in Ust-Kamenogorsk, Kazakhstan, in September 2018.The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers address issues such as mathematical and computer modeling, fundamental problems of mathematics, technological aspects of the applications of parallel computer systems, high level parallel programming languages and systems.

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016. The 43 papers and 2 invited papers presented in this volume were carefully reviewed and selected from 68 submissions. The papers cover thematic areas as agent and multi-agent system models, algorithms, applications, simulations, theoretical studies, and for AT the thematic areas are: algorithms

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications.

This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in Health Care. The meeting took place in Washington, DC, USA, in July 2014. The 16 papers presented in this volume were carefully reviewed and selected from 23 submissions. They deal with security aspects of health information systems; medical devices in cyberphysical systems; the process of providing healthcare and of monitoring patients; and patient safety and the assurance of medical systems.

This book constitutes the refereed proceedings of the Third International Workshop on Management of Information, Process and Cooperation, MiPAC 2016, held in Hangzhou, China, in September 2016. The 8 revised full papers were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections on process modeling, process enactment, and data driven service computing.

This book constitutes the thoroughly refereed post-conference proceedings of the 19th and 20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2015 and 2016, held respectively in Hyderabad, India, on May 26, 2015 and in Chicago, IL, USA, on May 27, 2016. The 14 revised full papers presented (7 papers in 2015 and 7 papers in 2016) were carefully reviewed and selected from 28 submissions (14 in 2015 and 14 in 2016). The papers cover the following topics: parallel scheduling raising challenges multiple levels of abstractions; node level parallelism; minimization of energy consumption in task migration within a many-core chip; task replication in real-time scheduling context; data-driven approach to schedule GPU load; the use of lock-free data structures in OS scheduler; the influence between user behaviour (think time, more precisely) and parallel scheduling; Evalix, a predictor for job resource consumption; sophisticated and realistic simulation; space-filling curves leading to better scheduling of large-scale computers; discussion of real-life production experiences.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2015, and the 1st International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2015, held in Lisbon, Portugal, in May 2015. The 15 full papers of SMARTGREENS 2015 presented were carefully reviewed and selected from 73 submissions. VEHITS 2015 received 27 paper submissions from which 3 papers were selected and published in this book. The papers reflect topics such as smart cities, energy-aware systems and technologies, sustainable computing and communications, sustainable transportation and smart mobility.

This volume constitutes the proceedings of the 5th International Conference on Serious Games, Interaction, and Simulation, held in Novedrate, Italy, in September 2015.The 16 revised full papers together with 2 keynote papers were carefully reviewed and selected for inclusion in this book. They focus on the design, development, use, and application of games for purposes other than entertainment. As such they cover areas like cognition, psychology, technology-enhanced education, evaluation and assessment, multimedia and information technology, and feature new scientific approaches and results from experiments and real-life applications.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, in Donostia-San Sebastián, Spain, in July 2015. The 12 revised full papers, including 1 invited paper, were carefully reviewed and selected from 24 submissions. The papers have identified several important aspects of the problem addressed by ARMS-CC: self-• and autonomous cloud systems, cloud quality management and service level agreement (SLA), scalable computing, mobile cloud computing, cloud computing techniques for big data, high performance cloud computing, resource management in big data platforms, scheduling algorithms for big data processing, cloud composition, federation, bridging, and bursting, cloud resource virtualization and composition, load-balancing and co-allocation, fault tolerance, reliability, and availability of cloud systems.

This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015.The 36 papers presented in this volume were carefully reviewed and selected from 65 submissions. They are organized in topical sections named: coordination and planning; learning and optimization, argumentation and negotiation; norms, trust, and reputation; agent-based simulation and agent programming.

This book constitutes the refereed proceedings of the 15th International Conference on Systems Simulation, Asia Simulation 2015, held in Jeju, Korea, in November 2016.The 11 revised full papers presented were carefully reviewed and selected from 126 submissions. The papers are organized in topical sections on model and design; simulation and analysis.

This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015.The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and intelligent transport systems.

This book constitutes the refereed proceedings of the Second International Workshop on Process-Aware Systems, PAS 2015, held in Hangzhou, China, in October 2015. The four revised full papers and two short papers, presented together with five demo papers were carefully reviewed and selected from 16 submissions. The papers are organized in topical sections on process modeling and comparison; process data analysis; Cloud workflow applications.

This book constitutes the proceedings of the 13th German Conference on Multiagent System Technologies, MATES 2015, held in Cottbus, Germany, in September 2015.The 11 full papers papers presented together with 2 short papers, 1 invited paper and 4 extended abstracts of doctoral papers in this volume were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on MAS engineering, modeling, and simulation; smart things working together; and innovative and emerging applications of MAS.

This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2014, held in Phoenix, AZ, USA, in May 2014. The 9 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover the following topics: single-core parallelism; moving to distributed-memory, larger-scale systems, scheduling fairness; and parallel job scheduling.

This book contains extended and revised versions of a set of selected papers from two events organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Toulouse, France and Barcelona, Spain, in June and July 2014. Overall, 8 papers were accepted for publication in this edition after a rigorous review process through at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers focus on knowledge management and sharing, and on information models developed to support various decision processes.

This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions. They are organized in topical sections named: agent-based models, trust and reputation; coordination, coalitions and teamwork; logic and formal approaches; theories in practice and real-world problems; decision making, conflicts and agreements.

This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers presented at these 6 workshops. The contributions were organized in topical sections named: modelling practices; new ways of behaviour modelling: events in modelling; and new ways of behaviour modelling: protocol modelling.

This book constitutes the refereed proceedings of the 14th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2018, held in Tallinn, Estonia, in June 2018. The main focus of EOMAS is on the role, importance, and application of modeling and simulation within the extended organizational and enterprise context. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections on conceptual modeling, enterprise engineering, and formal methods.

This book constitutes the thoroughly revised papers of the First International Conference on Augmented and Virtual Reality, AVR 2014, held in Lecce, Italy, in September 2014. The 28 papers, 2 tutorials and 3 keynotes presented were carefully reviewed and selected from 76 submissions. They include topics from virtual/augmented/mixed reality to 3D user interfaces and the technology needed to enable these environments to a wide range of applications (medical, entertainment, military, design, manufacture, maintenance, arts and cultural heritage).

This book constitutes the refereed post-conference proceedings of the 44th International Simulation and Gaming Association Conference, ISAGA 2013, and the IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, held in Stockholm, Sweden, in June 2013 The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on frontiers in gaming simulation for education; frontiers in gaming simulation for design and experimentation; frontiers in gaming simulation for transportation and logistics; and professionalism and business in gaming simulation.

This book constitutes the refereed proceedings of workshops, held at the 32nd International Conference on Conceptual Modeling, ER 2013, in Hong Kong, China in November 2013. The 30 revised full papers were carefully reviewed and selected out of 57 submissions. The papers are organized in sections related to the individual workshops: LSAWM, Legal and Social Aspects in Web Modeling; MoBiD, 1st International Workshop on Modeling and Management of Big Data; RIGiM, 5th International Workshop on Requirements, Intentions and Goals in Conceptual Modeling; SeCoGIS, 7th International Workshop on Semantic and Conceptual Issues in Geographic Information Systems; WISM, 10th International Workshop on Web Information Systems Modeling; DaSeM, Data Mining and Semantic Computing for Object Modeling; SCME, 1st Symposium on Conceptual Modeling Education; and PhD Symposium. Continuing the ER tradition, the ER 2013 workshops provided researchers, students, and industry professionals with a forum to present and discuss emerging, cutting-edge topics related to conceptual modeling and its applications.

This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Thessaloniki, Greece, and Rome, Italy, in May and July 2013.From a total of 45 submissions, 15 papers were accepted for publication in this edition after being reviewed by at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers are representative of current research activities in the area of operational research and decision support systems, focusing on topics such as decision-making using social networks and Web resources; spatio-temporal Web-based decision making; group support systems; technical, legal, and social aspects of decision making; knowledge management and decision support systems; business intelligence and data warehousing; and negotiation support systems.

This book constitutes the refereed post-proceedings of the 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, held in Chamonix, France, in February 2014. The 20 revised full papers were carefully reviewed and selected from numerous submissions. The papers cover the following topics: micro-assembly processes and systems ranging from desktop factory automation and packaging of MEMS to self-assembly processes and platforms; handling and manipulation, including flexible gripper systems, fixturing and high precision actuators; tolerance management and error-compensation techniques applied at different scales of precision assembly; metrology and quality control; intelligent assembly control; process selection, modelling and planning.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Energy Efficient Data Centers, E²DC 2013, held in Berkeley, CA, USA, in May 2013; co-located with SIGCOMM e-Energy 2013. The 8 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on energy and workload measurement; energy management; simulators and control.

This book constitutes the refereed proceedings of the 25th International Conference on Parallel Computational Fluid Dynamics, ParCFD 2013, held in Changsha, China, in May 2013. The 35 revised full papers presented were carefully reviewed and selected from more than 240 submissions. The papers address issues such as parallel algorithms, developments in software tools and environments, unstructured adaptive mesh applications, industrial applications, atmospheric and oceanic global simulation, interdisciplinary applications and evaluation of computer architectures and software environments.

This book constitutes the thoroughly refereed proceedings of the First International Conference on Simulation of Urban Mobility, SUMO 2013, held in Berlin, Germany, in May 2013. The 12 revised full papers presented tin this book were carefully selected and reviewed from 22 submissions. The papers are organized in two topical sections: models and technical innovations and applications and surveys.

This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Transport Systems Telematics, TST 2017, held in Katowice-Ustrón, Poland, in April 2017. The 40 full papers presented in this volume were carefully reviewed and selected from 128 submissions. They present and organize the knowledge from within the field of intelligent transportation systems, the specific solutions applied in it and their influence on improving efficiency of transport systems.

This book constitutes the refereed proceedings of the 13th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2017, held in Essen, Germany, in June 2017. The main focus of EOMAS is on the role, importance, and application of modeling and simulation within the extended organizational and enterprise context. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections on formal methods, conceptual modeling, and enterprise engineering.

This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013. The 126 revised full papers presented in both volumes were carefully reviewed and selected from 665 submissions. The papers are organized in topical sections on Internet computing and applications; engineering management and applications; Intelligent computing and applications; business intelligence and applications; knowledge management and applications; information management system; computational statistics and applications.

This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013. The 126 revised full papers presented in both volumes were carefully reviewed and selected from 665 submissions. The papers are organized in topical sections on Internet computing and applications; engineering management and applications; intelligent computing and applications; control engineering and applications; cloud and evolutionary computing; knowledge management and applications; computational statistics and applications.

This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Liverpool, UK, and Vilnius, Lithuania, in April and July 2012.From a total of 33 submissions, 9 papers were accepted for publication in this edition after being reviewed by at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers are representative of the current research activities in the area of decision support systems, focusing on topics such as decision analysis for enterprise systems and non-hierarchical networks, integrated solutions for decision support and knowledge management in distributed environments, decision support system evaluation and analysis through social networks, and e-learning and its application to real environments.

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Big Data Benchmarking, WBDB 2015, held in Toronto, ON, Canada, in June 2015 and the 7th International Workshop, WBDB 2015, held in New Delhi, India, in December 2015. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They deal with recent trends in big data and HPC convergence, new proposals for big data benchmarking, as well as tooling and performance results.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2016, held in Rome, Italy, in June 2016. The 33 revised full papers included in the volume ware carefully reviewed and selected from 38 submissions. They are organized in the following topical sections: human machine integration and interfaces; autonomous systems and MS frameworks and architectures; autonomous systems principles and algorithms; unmanned aerial vehicles and remotely piloted aircraft systems; modelling and simulation application.

This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Transport Systems Telematics, TST 2016, held in Katowice-Ustrón, Poland, in March 2016. The 37 full and 5 short papers presented in this volume were carefully reviewed and selected from 110 submissions. They present and organize the knowledge from within the field of intelligent transportation systems, the specific solutions applied in it and their influence on improving efficiency of transport systems.

This book constitutes the refereed proceedings of the 12th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2016, held in Ljubljana, Slovenia, in June 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections on formal approaches and human-centric approaches.

This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in London and Paris, in June and November 2011, respectively. The workshop themes were'Decision Support Systems'and'Collaborative Decision Making.'The 11 papers were selected from 52 submissions and are representative of the current research in these fields. They address challenges such as conceptual models, software specification and simulation, collaborative requirements specification, as well as multi-objective and multi-criteria decision making.

This book constitutes selected papers from the lectures given at the workshops held in conjunction with the User Modeling, Adaptation and Personalization Conference, UMAP 2011, Girona, Spain, in July 2011. The 40 papers presented were carefully reviewed and selected for inclusion in this book. For each workshop there is an overview paper summarizing the workshop themes, the accepted contributions and the future research trends. In addition the volume presents a selection of the best poster papers of UMAP 2011. The workshops included are: AST, adaptive support for team collaboration; AUM, augmenting user models with real worlds experiences to enhance personalization and adaptation; DEMRA, decision making and recommendation acceptance issues in recommender systems; PALE, personalization approaches in learning environments; SASWeb, semantic adaptive social web; TRUM, trust, reputation and user modeling; UMADR, user modeling and adaptation for daily routines: providing assistance to people with special and specific needs; UMMS, user models for motivational systems: the affective and the rational routes to persuasion.

This book constitutes the refereed proceedings of the two workshops held at the 14th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2011, held in Wollongong, Australia, in November. The workshops were, Workshop on Agent Based Simulation for a Sustainable Society (ABSSS 2011) and International Workshop on Multi-Agent Smart Computing (MASmart 2011). The 8 papers presented were carefully reviewed and selected from various submissions. The papers cover topics from agent based simulation for a sustainable society and on multi-agent smart computing.

This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker.

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 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 refereed proceedings of the 11th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2015, held at CAiSE 2015, in June 2015 in Stockholm, Sweden. EOMAS was founded with the purpose to become a forum among researchers and practitioners to share their research and practical findings by encouraging the dissemination of research results under a more generic umbrella called enterprise engineering, which encompasses internal factors ranging from organizational complexity to intricacy of business processes and sophistication in workflows as well as external factors and uncertainties such as competition, politics, or the emergence of innovative technologies. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: enterprise conceptual modeling and simulation; enterprise modeling formal foundation; and enterprise optimization.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 8 revised full papers presented were carefully selected during two rounds of reviews from 11 initial submissions. The papers address issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictablity and verification.

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks.