Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Advanced Information Systems Engineering Workshops
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, which was planned to take place in Grenoble, France, during June 8-12, 2020. Due to the Coronavirus pandemic the conference was held virtually. The workshops included in this book are: KET4DF, The Second International Workshop on Key Enabling Technologies for Digital Factories ISESL, The First International Workshop on Information Systems Engineering for Smarter Life The total of 8 full and 3 short papers presented in this volume were carefully reviewed and selected from 20 submissions. The book also contains one invited talk.
Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World
The three volumes IFIP AICT 438, 439, and 440 constitute the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2014, held in Ajaccio, France, in September 2014. The 233 revised full papers were carefully reviewed and selected from 271 submissions. They are organized in 6 parts: knowledge discovery and sharing; knowledge-based planning and scheduling; knowledge-based sustainability; knowledge-based services; knowledge-based performance improvement, and case studies.
Human-Computer Interaction – INTERACT 2023
The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023, held in York, UK, in August/September 2023. The 71 full papers and 58 short papers included in this book were carefully reviewed and selected from 406 submissions. They were organized in topical sections as follows: 3D Interaction; Accessibility; Accessibility and Aging; Accessibility for Auditory/Hearing Disabilities; Co-Design; Cybersecurity and Trust; Data Physicalisation and Cross-device; Eye-Free, Gesture Interaction and Sign Language; Haptic interaction and Healthcare applications; Self-Monitoring; Human-Robot Interaction; Infor...
FME 2002: Formal Methods - Getting IT Right
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symp...
On the Move to Meaningful Internet Systems: OTM 2012
The two-volume set LNCS 7565 and 7566 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2012), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2012), and Ontologies, DataBases and Applications of SEmantics (ODBASE 2012) held as part of OTM 2012 in September 2012 in Rome, Italy. The 53 revised full papers presented were carefully reviewed and selected from a total of 169 submissions. The 31 full papers included in the second volume constitute the proceedings of DOA-SVI 2012 with 10 full papers organized in topical sections on privacy in the cloud; resource management and assurance; context, compliance and attack; and ODBASE 2012 with 21 full papers organized in topical sections on using ontologies and semantics; applying probalistic techniques to semantic information; exploiting and querying semantic information; and managing and storing semantic information.
Human-Computer Interaction – INTERACT 2021
The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021. The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized in topical sections named: Part I: affective computing; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; augmented reality; computer supported cooperative work. Part II: COVID-19 & HCI...
Advances in Conceptual Modeling
This book constitutes the refereed proceedings of seven workshops and a symposium, held at the 35th International Conference on Conceptual Modeling, ER 2016, in Gifu, Japan. The 19 revised full and 3 keynote papers were carefully reviewed and selected out of 52 submissions to the following events: Conceptual Modeling for Ambient Assistance and Healthy Ageing, AHA 2016; Modeling and Management of Big Data, MoBiD 2016; Modeling and Reasoning for Business Intelligence, MORE-BI 2016; Conceptual Modeling in Requirements and Business Analysis, MREBA 2016; Quality of Models and Models of Quality, QMMQ 2016; and the Symposium on Conceptual Modeling Education, SCME 2016; and Models and Modeling on Security and Privacy, WM2SP 2016.
Advances in Conceptual Modeling
This book constitutes the refereed proceedings of seven workshops and a symposium, held at the 34th International Conference on Conceptual Modeling, ER 2015, in Stockholm, Sweden. The 26 revised full and 8 invited papers were carefully reviewed and selected out of 52 submissions to the following events: Conceptual Modelling for Ambient Assistance and Healthy Ageing, AHA-2015; Conceptual Modelling of Services, CMS-2015; Event Modelling and Processing in Business Process Management, EMoV-2015; Modelling and Management of Big Data, MoBID-2015; Modelling and Reasoning for Business Intelligence, MORE-BI-2015; Conceptual Modelling in Requirements Engineering and Business Analysis, MREBA-2015; Quality of Modelling and Modelling of Quality, QMMQ-2015; and the Symposium on Conceptual Modelling Education, SCME-2015.
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit ̈at zu B...
