Formal Methods
Author: Andre Platzer
Publisher: Springer Nature
Published:
Total Pages: 669
ISBN-13: 3031711777
DOWNLOAD EBOOKPosts
Web Engineering
Author: Boualem Benatallah
Publisher: Springer Science & Business Media
Published: 2010-06-30
Total Pages: 550
ISBN-13: 3642139108
DOWNLOAD EBOOKThe LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.
Mechanisms for Autonomous Management of Networks and Services
Author: Burkhard Stiller
Publisher: Springer
Published: 2010-06-27
Total Pages: 191
ISBN-13: 3642139868
DOWNLOAD EBOOKThe International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference paper s- sions, tutorials, keynotes, and a PhD student workshop into a highly interactive event. The main goal of AIMS is to look beyond borders and to stimulate the exchange of ideas across different communities and among PhD students. AIMS 2010 collocated the International Summer School in Network and Service Management (ISSNSM 2010). This unique summer school offers hands-on learning experiences in network and service management topics, which requires attendees to work in practical on-site courses combined with preceding short tutorial-like teaching sessions. AIMS 2010––which took place during June 23–25, 2010, in Zürich, Switzerland and was hosted by the Communication Systems Group CSG, Department of Inform- ics IFI, of the University of Zürich UZH––followed the already established tradition of an unusually vivid and interactive conference series in terms of the fourth conf- ence, after successful instantiations in Oslo, Norway 2007, Bremen, Germany 2008, and Enschede, The Netherlands 2009. AIMS 2010 focused especially on autonomous management aspects of modern networks and their services. The set of mechanisms, peer-to-peer-based schemes, scalability aspects, and autonomous approaches are of major interest. In particular the design, monitoring, management, and protection of networked systems in an efficient, secure, and autonomic manner are key to comm- cially viable and successful networks and services.
Fundamental Approaches to Software Engineering
Author: Alexander Egyed
Publisher: Springer
Published: 2015-03-31
Total Pages: 367
ISBN-13: 3662466759
DOWNLOAD EBOOKThis book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verification; modeling and adaptation; and applications.
SOFSEM 2012: Theory and Practice of Computer Science
Author: Mária Bieliková
Publisher: Springer Science & Business Media
Published: 2012-01-09
Total Pages: 690
ISBN-13: 3642276598
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
The 8th International Conference on Advanced Machine Learning and Technologies and Applications (AMLTA2022)
Author: Aboul Ella Hassanien
Publisher: Springer Nature
Published: 2022-04-16
Total Pages: 708
ISBN-13: 3031039181
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 8th International Conference on Advanced Machine Learning Technologies and Applications, AMLTA 2022, held in Cairo, Egypt, during May 5-7, 2022. The 8th edition of AMLTA will be organized by the Scientific Research Group in Egypt (SRGE), Egypt, collaborating with Port Said University, Egypt, and VSB-Technical University of Ostrava, Czech Republic. AMLTA series aims to become the premier international conference for an in-depth discussion on the most up-to-date and innovative ideas, research projects, and practices in the field of machine learning technologies and their applications. The book covers current research on advanced machine learning technology, including deep learning technology, sentiment analysis, cyber-physical system, IoT, and smart cities informatics and AI against COVID-19, data mining, power and control systems, business intelligence, social media, digital transformation, and smart systems.
Software Engineering - ESEC/FSE '99
Author: Oskar Nierstrasz
Publisher: Springer Science & Business Media
Published: 1999-08-30
Total Pages: 542
ISBN-13: 3540665382
DOWNLOAD EBOOKFor the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of ACM SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers. Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations.
SOFSEM 2012: Theory and Practice of Computer Science
Author: Maria Bielikova
Publisher: Springer
Published: 2012-01-18
Total Pages: 690
ISBN-13: 3642276601
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
Computer Science and Convergence
Author: James (Jong Hyuk) Park
Publisher: Springer Science & Business Media
Published: 2011-12-07
Total Pages: 822
ISBN-13: 9400727917
DOWNLOAD EBOOKComputer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011). The topics of CSA and WCC cover the current hot topics satisfying the world-wide ever-changing needs. CSA-11 will be the most comprehensive conference focused on the various aspects of advances in computer science and its applications and will provide an opportunity for academic and industry professionals to discuss the latest issues and progress in the area of CSA. In addition, the conference will publish high quality papers which are closely related to the various theories and practical applications in CSA. Furthermore, we expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject. The main scope of CSA-11 is as follows: - Mobile and ubiquitous computing - Dependable, reliable and autonomic computing - Security and trust management - Multimedia systems and services - Networking and communications - Database and data mining - Game and software engineering - Grid, cloud and scalable computing - Embedded system and software - Artificial intelligence - Distributed and parallel algorithms - Web and internet computing - IT policy and business management WCC-11 is a major conference for scientists, engineers, and practitioners throughout the world to present the latest research, results, ideas, developments and applications in all areas of convergence technologies. The main scope of WCC-11 is as follows: - Cryptography and Security for Converged environments - Wireless sensor network for Converged environments - Multimedia for Converged environments - Advanced Vehicular Communications Technology for Converged environments - Human centric computing, P2P, Grid and Cloud computing for Converged environments - U-Healthcare for Converged environments - Strategic Security Management for Industrial Technology - Advances in Artificial Intelligence and Surveillance Systems
Verified Software: Theories, Tools, and Experiments
Author: Arie Gurfinkel
Publisher: Springer
Published: 2016-02-12
Total Pages: 232
ISBN-13: 3319296132
DOWNLOAD EBOOKThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
