الصفحة 16
الصفحة 16
Computer science : Theory and applications ; 1st International symposium on computer science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer organization and design, enhanced : The hardware / software interface ; 5th ed.
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.Because an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture.
Computer organization and design : The hardware / software interface ; 6th ed.
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. With the post-PC era now upon us, Computer Organization and Design moves forward to explore this generational change with examples, exercises, and material highlighting the emergence of mobile computing and the Cloud. Updated content featuring tablet computers, Cloud infrastructure, and the x86 (cloud computing) and ARM (mobile computing devices) architectures is included
Computer organization and architecture : Designing for performance ; 11th ed.
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively covers processor and computer design fundamentals Computer Organization and Architecture, 11th Edition is about the structure and function of computers. Its purpose is to present, as clearly and completely as possible, the nature and characteristics of modern-day computer systems.
Computer organization and architecture : Designing for performance ; 10th ed.
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively covers processor and computer design fundamentals Computer Organization and Architecture, 11th Edition is about the structure and function of computers. Its purpose is to present, as clearly and completely as possible, the nature and characteristics of modern-day computer systems.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer Network Security ; 4th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2007, St. Petersburg, Russia, September 13-15, 2007, Proceedings
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer and Information Seciences - ISCIS 2006 ; 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings
Thesearetheproceedingsofthe21stInternationalSymposiumonComputerand ? Information Sciences (ISCIS 2006) held in Istanbul, Turkey, November 1 – 3, 2006. ISCIS 2006 was organized by the Faculty of Engineering and Natural S- ences of Sabanc?University.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Computer Aided Verification ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Computer Aided Systems Theory – EUROCAST 2007 ; 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information Processing, Computers in Education, Grid Computing, Applied Formal Verification, Cellular Automata, Computer Vision, Heuristic Problem So.
Computational Science - ICCS 2006 ; Vol. 3993 ; 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006, held in Reading, UK, in May 2006. The papers span the whole range of computational science.
Computational methods in systems biology ; 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.* The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
Computational Life Sciences ; Vol. 3695 ; 1st International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Computational Life Sciences, CompLife 2005, held in Konstanz, Germany in September 2005. The integration of knowledge in the life sciences is continuing apace with ev- increasingimportancebeing placedoncomputer-basedmethodsofdata capture, analysis, and knowledge representation. Today, our many di?erent sciences are providing us with a sea of information: it is the handling of this in?ux that is becoming a key discovery and regulatory question. The solutions to these problems will result in advancements to all of the involved sciences and will be highly in?uential both in the selection of the areas scientists seek to investigate and also on their success. For this to happen, it is crucial to establish an open and lively exchange between computer scientists, biologists, and chemists. To encourage precisely this type of exchange, crossing the borders of the sciences, we organized the 1st Symposium on Computational Life Science in Konstanz, Germany(September 25 27,2005).
Computational intelligence, cyber security and computational models. models and techniques for intelligent systems and automation ; 4th International Conference, ICC3 2019, Coimbatore, India, December 19–21, 2019, Revised Selected Papers
This book constitutes the proceedings of the 4th International Conference on Computational Intelligence, Cyber Security, and Computational Models, ICC3 2019, which was held in Coimbatore, India, in December 2019. The 9 papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: computational intelligence; cyber security; and computational models.
Computational intelligence and security ; Vol.3802 ; International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on Computational Intelligence and Security, CIS 2005, held in Xi'an, China, in December 2005. The 338 revised papers presented - 254 regular and 84 extended papers - were carefully reviewed and selected from over 1800 submissions. The second volume is subdivided in topical sections on cryptography and coding, cryptographic protocols, intrusion detection, security models and architecture, security management, watermarking and information hiding, web and network applications, image and signal processing, and applications.
Collaborative networks and their breeding environments ; IFIP TC 5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September 2005, Valencia, Spain
This book contains selected articles from PRO-VE'05, the sixth working conference on virtual enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Valencia, Spain. Being recognized as the most focused scientific / technical conference on Collaborative Networks, PRO-VE continues offering the opportunity for the presentation and discussion of both the latest research developments and practical application case studies. Following the IFIP vision. The articles included in this book represent a comprehensive overview of recent advances in various domains and lines of development of collaborative networks. Of particular relevance are the topics of holistic approaches and breeding environments management, creation and management of virtual organizations and professional virtual communications, performance measurement and management, benefit analysis, trust management, process modeling and meta-modeling, ICT infrastructures and support services, legal issues, and case studies.
