Choose an application

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

Since its recent introduction, the ZigBee protocol has created an enormous amount of buzz in venues from magazine covers to trade show floors to water coolers. Its promise of providing a simpler, cheaper, more power-efficient WPAN (Wireless Personal Area Network) alternative to WiFi and Bluetooth has opened up new data collection possibilities in application areas from industrial controls to medical devices to intruder alarms. Yet, despite this widespread interest, there is still little information available that goes beyond detailing the spec itself. Missing from the current ZigBee lexicon is

Wireless LANs --- Computers. --- Standards. --- 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

Choose an application

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

Information and communication technology (ICT) has become a generic and indispensable tool for addressing and solving problems in such diverse areas as management, social and health services, transportation, security and education. As the cost of equipment drops dramatically, it also becomes widely accessible in the developing countries. However, problems of high costs for adequate training of personnel, access to state-to-the-art software and the consultancies needed to facilitate access to ICT can constitute highly dissuasive factors in the dissemination of ICT in developing countries.This v

Information technology --- Computers --- 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 --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management

Choose an application

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

The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation. The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense. Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken. Iain Craig is a Chartered Fellow of the BCS and has a PhD in Computer Science.

Operating systems (Computers) --- Computers. --- 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 --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems

Choose an application

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

How the complex interplay of academic, commercial, and military interests produced an intense period of scientific discovery and technological innovation in computing during the Cold War.

Electronic data processing --- Computers --- History. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Office practice --- Automation --- SCIENCE, TECHNOLOGY & SOCIETY/General --- History

Choose an application

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

This concise, accessible introduction to quantum computing is aimed at advanced undergraduate and beginning graduate students from a variety of scientific backgrounds. The text is technically detailed and clearly illustrated throughout with diagrams and exercises.

Quantum computing. --- Quantum computers. --- Computers --- Computation, Quantum --- Computing, Quantum --- Information processing, Quantum --- Quantum computation --- Quantum information processing --- Electronic data processing --- Computers. --- 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