Search results

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering,...

Communications of ACM Internet Research IEEE Transactions on Parallel and Distributed Systems Parallel Computing IEEE Transactions on Computers ACM Transactions on Computer Systems

This book is aimed squarely at the Independent Software Vendor (ISV) who is considering Force.com as a route to market their software offerings. Alternatively you could be part of a corporate IT department looking to deliver solutions more quickly for your business users. You have many of the same issues as the ISV, but from a slightly different perspective.This book is intended to be a catalyst for action aimed at a range of people inside and outside your organization

The health technology has become a hot topic in academic research. It employs the theory of social networks into the different levels of the prediction and analysis and has brought new possibilities for the development of technology. This book is a descriptive summary of challenges and methods using disease identification with various case studies from diverse authors across the globe. One of the new buzzwords in healthcare sector that has become popular over years is health informatics. Healthc...

This textbook provides comprehensive yet concise coverage of all the topics covered in Unit A451: Computer Systems and Programming of the OCR GCSE Computing Specification J275, written and presented in a way that is accessible to teenagers. It will be invaluable both as a course text and as a revision guide for students nearing the end of their course. It is divided into seven chapters corresponding to the seven sections of the specification, each ending with a "Glossary of terms" and exam quest...

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code...

Written in accessible language without mathematical formulas, this short book provides an overview of the wide and varied applications of artificial intelligence (AI) across the spectrum of physical sciences. Focusing in particular on AI's ability to extract patterns from data, known as machine learning (ML), the book includes a chapter on important machine learning algorithms and their respective applications in physics. It then explores the use of ML across a number of important sub-fields in...

Uncertain Information Processing in Expert Systems systematically and critically examines probabilistic and rule-based (compositional, MYCIN-like) systems, the two most important families of expert systems dealing with uncertainty. The book features a detailed introduction to probabilistic systems (including methods using graphical models and methods of knowledge integration), an analysis of compositional systems based on algebraic considerations, an application of graphical models, and the Demp...

The two-volume set IFIP AICT 392 and 393 constitutes the refereed post-conference proceedings of the 6th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2012, held in Zhangjiajie, China, in October 2012. The 108 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including Internet of things and cloud computing;...

The current literature on dynamic systems is quite comprehensive, and system theory’s mathematical jargon can remain quite complicated. Thus, there is a need for a compendium of accessible research that involves the broad range of fields that dynamic systems can cover, including engineering, life sciences, and the environment, and which can connect researchers in these fields. The Handbook of Research on Modeling, Analysis, and Control of Complex Systems is a comprehensive reference book that de...

Strategic intelligence (SI) has mostly been used in military settings, but its worth goes well beyond that limited role. It has become invaluable for improving any organization's strategic decision making process. The author of Strategic Intelligence: Business Intelligence, Competitive Intelligence, and Knowledge Management recognizes synergies amo

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

During the last decade, cell phones with multimodal interfaces based on combined new media have become the dominant computer interface worldwide. Multimodal interfaces support mobility and expand the expressive power of human input to computers. They have shifted the fulcrum of human-computer interaction much closer to the human. This book explains the foundation of human-centered multimodal interaction and interface design, based on the cognitive and neurosciences, as well as the major benefits...

Smart Cities and intelligence are among the most significant topics in IoT. Intelligence in communication and infrastructure implementation is at the heart of this concept, and its development is a key issue in smart cities. This book addresses the challenges in realizing intelligence in smart cities and sensing platforms in the era of cloud computing and IoT, varying from cost and energy efficiency to availability and service quality. It focuses on both the design and implementation aspects of...