Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit’s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software—the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them.

Computer software --- Computer programming --- Evaluation --- Mathematical models. --- Management. --- Computer software -- Reliability. --- Computers -- Reliability. --- Electronic books. -- local. --- Computer Science --- Engineering & Applied Sciences --- Management --- Information Technology --- Software Engineering --- Computers --- Reliability. --- Computer reliability --- Computer science. --- Software engineering. --- Algorithms. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programming management --- Programming management (Electronic computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed post-conference proceedings of the 10th International Conference on Broadband Communications, Networks, and Systems, Broadnets 2019, which took place in Xi’an, China, in October 2019. The 19 full papers presented were carefully reviewed and selected from 61 submissions. The papers are thematically grouped as follows: Wireless Networks and Applications, Communication and Sensor Networks, Internet of Things, Pervasive Computing, Security and Privacy.

Computer networks --- Computers --- Access control. --- Reliability. --- Computer reliability --- Computer communication systems. --- Robotics. --- Computers. --- Computer Communication Networks. --- Information Systems and Communication Service. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Automation --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The two-volume set LNICST 169 and 170 constitutes the thoroughly refereed post-conference proceedings of the Second International Internet of Things Summit, IoT 360° 2015, held in Rome, Italy, in October 2015. The IoT 360° is an event bringing a 360 degree perspective on IoT-related projects in important sectors such as mobility, security, healthcare and urban spaces. The conference also aims to coach involved people on the whole path between research to innovation and the way through to commercialization in the IoT domain. This volume contains 61 revised full papers at the following four conferences: International Conference on IoT as a Service, IoTaaS, International Conference on Mobility in IoT, Mobility IoT, International Conference on Sensor Systems and Software, S-Cube, International Conference on Interoperability in IoT, InterioT, International Conference on Software Defined and Virtual Future Wireless Networks, SDWNCT.

Computer science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- User interfaces (Computer systems). --- Computer Science. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- User Interfaces and Human Computer Interaction. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- Interfaces, User (Computer systems) --- Computer software engineering --- Special purpose computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Human-machine systems --- Human-computer interaction --- Engineering --- Computers --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Science --- Distributed processing --- Internet of things --- Reliability. --- Computer reliability --- IoT (Computer networks) --- Things, Internet of --- Computer networks --- Embedded Internet devices --- Machine-to-machine communications --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance.

Computer systems -- Evaluation -- Congresses. --- Computer software --- Computers --- Engineering & Applied Sciences --- Computer Science --- Reliability --- Reliability. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer reliability --- Software, Computer --- Computer science. --- Computer system failures. --- Software engineering. --- Mathematical statistics. --- Computer science --- Computer mathematics. --- Quality control. --- Industrial safety. --- Computer Science. --- System Performance and Evaluation. --- Probability and Statistics in Computer Science. --- Quality Control, Reliability, Safety and Risk. --- Software Engineering. --- Mathematical Applications in Computer Science. --- Mathematics. --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer system performance. --- System safety. --- Computer software engineering --- Engineering --- Safety, System --- Safety of systems --- Systems safety --- Accidents --- Industrial safety --- Systems engineering --- Informatics --- Science --- Prevention --- Computer science—Mathematics. --- Dependability --- Trustworthiness --- Conduct of life --- Factory management --- Industrial engineering --- Reliability (Engineering) --- Sampling (Statistics) --- Standardization --- Quality assurance --- Quality of products --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Computer mathematics --- Electronic data processing --- Industrial accidents --- Industries --- Job safety --- Occupational hazards, Prevention of --- Occupational health and safety --- Occupational safety and health --- Prevention of industrial accidents --- Prevention of occupational hazards --- Safety, Industrial --- Safety engineering --- Safety measures --- Safety of workers --- System safety --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Statistical methods --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Computer Music Modeling and Retrieval, CMMR 2012, held in London, UK, in June 2012. The 28 revised full papers presented were carefully reviewed and selected for inclusion in this volume. The papers have been organized in the following topical sections: music emotion analysis; 3D audio and sound synthesis; computer models of music perception and cognition; music emotion recognition; music information retrieval; film soundtrack and music recommendation; and computational musicology and music education. The volume also includes selected papers from the Cross-Disciplinary Perspectives on Expressive Performance Workshop held within the framework of CMMR 2012.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Music. --- Special purpose computers. --- Information storage and retrieval. --- Multimedia information systems. --- User interfaces (Computer systems). --- Application software. --- Computer Science. --- Information Storage and Retrieval. --- Multimedia Information Systems. --- Computer Appl. in Arts and Humanities. --- User Interfaces and Human Computer Interaction. --- Special Purpose and Application-Based Systems. --- Computers --- Reliability. --- Computer reliability --- Multimedia systems. --- Information systems. --- Software engineering. --- Computer software engineering --- Engineering --- Informatics --- Science --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Art music --- Art music, Western --- Classical music --- Musical compositions --- Musical works --- Serious music --- Western art music --- Western music (Western countries) --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Special purpose computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software