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.

Sign up

Software Architecture
  • Language: en
  • Pages: 462

Software Architecture

  • Type: Book
  • -
  • Published: 2011-09-15
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 5th European Conference on Software Architecture, ECSA 2011, held in Essen, Germany, in September 2011. The 13 revised full papers presented together with 24 emerging research papers, and 7 research challenge poster papers were carefully reviewed and selected from over 100 submissions. The papers are organized in topical sections on requirements and software architectures; software architecture, components, and compositions; quality attributes and software architectures; software product line architectures; architectural models, patterns and styles; short papers; process and management of architectural decisions; software architecture run-time aspects; ADLs and metamodels; and services and software architectures.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
  • Language: en
  • Pages: 333

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance

  • Type: Book
  • -
  • Published: 2010-05-28
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.

Logic, Automata, and Computational Complexity
  • Language: en
  • Pages: 424

Logic, Automata, and Computational Complexity

Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for “his advancement of our understanding of the complexity of computation in a significant and profound way.” This volume includes a selection of seminal papers embodying the work that led to this award, exemplifying Cook’s synthesis of ideas and techniques from logic and the theory of computation including NP-completeness, proof complexity, bounded arithmetic, and parallel and space-bounded computation. These papers are accompanied by contributed articles by leading researchers in these areas, which convey to a general reader the importance of Cook’s ideas and their enduring impact on the research community. The book also contains biographical material, Cook’s Turing Award lecture, and an interview. Together these provide a portrait of Cook as a recognized leader and innovator in mathematics and computer science, as well as a gentle mentor and colleague.

Advances in Digital Forensics IX
  • Language: en
  • Pages: 398

Advances in Digital Forensics IX

  • Type: Book
  • -
  • Published: 2013-10-09
  • -
  • Publisher: Springer

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices have expanded the role of digital forensics beyond traditional computer crime investigations. Practically every crime now involves some aspect of digital evidence; digital forensics provides the techniques and tools to articulate this evidence. Digital forensics also has myriad intelligence applications. Furthermore, it has a vital role in information assurance - investigations of security breaches yield valuable information that can be used to design more secure systems. Advances in Digital For...

Open and Social Technologies for Networked Learning
  • Language: en
  • Pages: 212

Open and Social Technologies for Networked Learning

  • Type: Book
  • -
  • Published: 2013-04-18
  • -
  • Publisher: Springer

This volume constitutes the refereed post-proceedings of the IFIP WG 3.4 International Conference on Open and Social Technologies for Networked Learning, OST 2012, held in Tallinn, Estonia, in July/August 2012. The 16 full papers presented together with 3 short papers and 5 doctoral student papers were thoroughly reviewed and selected from numerous submissions. The papers cover a wide range of topics such as mobile learning, social networks, analytics and recommendations, workplace learning, learning analytics in higher education, collaborative learning in higher education, and managing open and social education.

Technological Innovation for Value Creation
  • Language: en
  • Pages: 589

Technological Innovation for Value Creation

This book constitutes the refereed proceedings of the Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, held in Costa de Caparica, Portugal, in February 2012. The 65 revised full papers were carefully reviewed and selected from numerous submissions. They cover a wide spectrum of topics ranging from collaborative enterprise networks to microelectronics. The papers are organized in topical sections on collaborative systems, service orientation, knowledge and content management, human interaction, Petri nets, smart systems, robotic systems, perceptional systems, signal processing, energy, renewable energy, energy smart grid, power electronics, electronics, optimization in electronics, telecommunications and electronics, and electronic materials. The book also includes papers from the Workshop on Data Anaylsis and Modeling Retina in Health and Disease.

System Modeling and Optimization
  • Language: en
  • Pages: 580

System Modeling and Optimization

  • Type: Book
  • -
  • Published: 2013-02-20
  • -
  • Publisher: Springer

This book is a collection of thoroughly refereed papers presented at the 25th IFIP TC 7 Conference on System Modeling and Optimization, held in Dresden, Germany, in September 2011. The 55 revised papers were carefully selected from numerous submissions. They are organized in the following topical sections: control of distributed parameter systems; stochastic optimization and control; stabilization, feedback, and model predictive control; flow control; shape and structural optimization; and applications and control of lumped parameter systems.

Object-Oriented Information Systems
  • Language: en
  • Pages: 564

Object-Oriented Information Systems

  • Type: Book
  • -
  • Published: 2003-08-02
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002, held in Montpellier, France, in September 2002. The 34 revised full papers and 17 short papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on developing web services, object databases, XML and web, component and ontology, UML modeling, object modeling and information systems adaptation, e-business models and workflow, performance and method evaluation, programming and tests, software engineering metries, web-based information systems, architecture and Corba, and roles and evolvable objects.

ICT Critical Infrastructures and Society
  • Language: en
  • Pages: 402

ICT Critical Infrastructures and Society

  • Type: Book
  • -
  • Published: 2012-09-21
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, held in Amsterdam, The Netherlands, in September 2012. The 37 revised full papers presented were carefully reviewed and selected for inclusion in the volume. The papers are organized in topical sections on national and international policies, sustainable and responsible innovation, ICT for peace and war, and citizens' involvement, citizens' rights and ICT.

Security and Privacy Protection in Information Processing Systems
  • Language: en
  • Pages: 447

Security and Privacy Protection in Information Processing Systems

  • Type: Book
  • -
  • Published: 2013-07-03
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 28th IFIP TC 11 International Information Security and Privacy Conference, SEC 2013, held in Auckland, New Zealand, in July 2013. The 31 revised full papers presented were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on malware, authentication and authorization, network security/cryptography, software security, policy compliance and obligations, privacy protection, risk analysis and security metrics, social engineering, and security management/forensics.