Choose an application

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

Calculators --- Calculators --- Mathematical instruments --- Office equipment and supplies

Choose an application

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

Jacquard's Web tells one of the greatest untold stories of science: how a hand loom invented in Napoleonic France led to the birth of the modern computer age. James Essinger, a master storyteller, traces the 200-year evolution of Jacquard's idea from the studios of 18th century weavers, through the Industrial Revolution to the development of hi-tech computers and the information age today. - ;Jacquard's Web is the story of some of the most ingenious inventors the world has ever known, a fascinating account of how a hand-loom invented in Napoleonic France led to the development of the modern in

Computing --- Calculators. --- Jacquard knitting machines. --- Information technology --- History. --- Jacquard, Joseph-Marie, --- Adding-machines --- Calculating-machines --- Computers, Mechanical --- Desk calculators --- Mathematical machines (Calculators) --- Mechanical computers --- Jacquard, Charles-Marie, --- Jacquard knitting machines --- Jacquard, Métiers --- Jacquard, Joseph Marie --- Jacquard, Joseph Marie. --- Jacquard, Métiers --- Jacquard, Joseph Marie, --- Knitting machines --- Mathematical instruments --- Office equipment and supplies --- Arithmetic --- Computers --- Tabulating machines --- Ordinateurs --- Technologie de l'information --- Histoire

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