Kategoria BISAC: Computers >> Hardware - Personal Computers - General

As computers become more prevalent throughout society, the issue of computer-human interaction has become paramount to computer scientists and professionals furthering the computerization of organizations. "Computers, Human Interaction, and Organizations" revisits important theoretical and conceptual issues that have not been resolved in discussions of the increasing computerization of society. The authors here move beyond the technical issues relating to computerization to examine the social and political nature of information and computer technology using contemporary critical theory....

An essential contribution to the study of the history of computers, this work identifies the computer's impact on the physical, biological, cognitive, and medical sciences. References fundamental to the understudied area of the history of scientific computing also document the significant role of the sciences in helping to shape the development of computer technology. More broadly, the many resources on scientific computing help demonstrate how the computer was the most significant scientific instrument of the 20th century.

The only guide of its kind covering the use and impact of...

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The core of this book focuses on new techniques that narrow the performance gap between the complexity of digital systems and the limited ability to verify them. In particular, it covers a range of solutions that exploit approximation and...

This book identifies vulnerabilities in the physical layer, the MAC layer, the IP layer, the transport layer, and the application layer, of wireless networks, and discusses ways to strengthen security mechanisms and services. Topics covered include intrusion detection, secure PHY/MAC/routing protocols, attacks and prevention, immunization, key management, secure group communications and multicast, secure location services, monitoring and surveillance, anonymity, privacy, trust establishment/management, redundancy and security, and dependable wireless networking.

So much of what is commonplace today was once considered impossible, or at least wishful thinking. Laser beams in the operating room, cars with built-in guidance systems, cell phones with email access. There's just no getting around the fact that technology always has, and always will be, very cool.But technology isn't only cool; it's also very smart. That's why one of the hottest technological trends nowadays is the creation of smart homes.At an increasing rate, people are turning their homes into state-of-the-art machines, complete with more switches, sensors, and actuators than you can...