Creator: Eric Schmidt
Edition: Pap/Cdr
Publication date: 1999-10
Dewey code: 005
Review Power of Now: How Winning Companies Sense and Respond to Change in Real Time (Enterprise Computing) / McGraw-Hill Publishing Co.:
Authors
- Richard Lai
- Ajin Jirachiefpattana
Publication date: 1998-09-30
Dewey code: 004.62
List Price: $232.00
Price: $216.00
Review Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science) / Springer:Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and difficult to design and implement. Specifications of communication protocols written in a natural language (e. g. English) can be unclear or ambiguous, and may be subject to different interpretations. As a result, independent implementations of the same protocol may be incompatible. In addition, the complexity of protocols make them very hard to analyze in an informal way. There is, therefore, a need for precise and unambiguous specification using some formal languages. Many protocol implementations used in the field have almost suffered from failures, such as deadlocks. When the conditions in which the protocols work correctly have been changed, there has been no general method available for determining how they will work under the new conditions. [+]It is necessary for protocol designers to have techniques and tools to detect errors in the early phase of design, because the later in the process that a fault is discovered, the greater the cost of rectifying it. Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e. g. , absence of deadlock) or specific to the particular protocol system directly derived from the specification. In the 80s, an ISO (International Organization for Standardization) working group began a programme of work to develop formal languages which were suitable for Open Systems Interconnection (OSI). This group called such languages Formal Description Techniques (FDTs). Some of the objectives of ISO in developing FDTs were: enabling unambiguous, clear and precise descriptions of OSI protocol standards to be written, and allowing such specifications to be verified for correctness. There are two FDTs standardized by ISO: LOTOS and Estelle. Communication Protocol Specification and Verification is written to address the two issues discussed above: the needs to specify a protocol using an FDT and to verify its correctness in order to uncover specification errors in the early stage of a protocol development process. The readership primarily consists of advanced undergraduate students, postgraduate students, communication software developers, telecommunication engineers, EDP managers, researchers and software engineers. It is intended as an advanced undergraduate or postgraduate textbook, and a reference for communication protocol professionals.
Publication date: 2003-07
Dewey code: 005
List Price: $212.00
Price: $212.00
Review Proceedings: Darpa Information Survivability Conference and Exposition : Washington, Dc April 22-24, 2003 / Institute of Electrical & Electronics Enginee:These conference proceedings present research contributions to the field of information assurance and survivability from research programmes including: Composable High Assurance Trusted Systems (CHATS), Cyber Panel, Dynamic Coalitions (DC) and Fault Tolerant Networks (FTN).
Creator: Villy Baek Iversen
Edition: 1
Publication date: 1996-07-31
Dewey code: 621.3821
List Price: $263.00
Price: $259.78
Review Intelligent Networks and New Technologies (IFIP International Federation for Information Processing) / Springer:
Authors
- Indoor, and Mobile Radio Communications (8th : 1997 : Helsinki, Finland) IEEE International Symposium on Personal
Dewey code: 621
List Price: $216.00
Price: $216.00
Review 1997 IEEE International Symposium Personal, Indoor and Mobile Radio Cummunications, Pimrc / Institute of Electrical & Electronics Enginee:The 1997 IEEE International Symposium on personal, indoor and mobile radio communications explored the impact of awarding spectrum licences throughout the world. The effects on design decisions and future developments are reported in this volume.
Authors
- Paul M. Ashley
- M. Vandenwauver
Publication date: 1999-01-31
Dewey code: 005.8
List Price: $224.00
Price: $224.00
Review Practical Intranet Security: Overview of the State of the Art and Available Technologies / Kluwer Academic:Foreword by Lars Knudsen Practical Intranet Security focuses on the various ways in which an intranet can be violated and gives a thorough review of the technologies that can be used by an organization to secure its intranet. This includes, for example, the new security architecture SESAME, which builds on the Kerberos authentication system, adding to it both public-key technology and a role-based access control service. Other technologies are also included such as a description of how to program with the GSS-API, and modern security technologies such as PGP, S/MIME, SSH, SSL IPSEC and CDSA. The book concludes with a comparison of the technologies. This book is different from other network security books in that its aim is to identify how to secure an organization's intranet. Previously books have concentrated on the Internet, often neglecting issues relating to securing intranets. However the potential risk to business and the ease by which intranets can be violated is often far greater than via the Internet. The aim is that network administrators and managers can get the information that they require to make informed choices on strategy and solutions for securing their own intranets. The book is an invaluable reference for network managers and network administrators whose responsibility it is to ensure the security of an organization's intranet. The book also contains background reading on networking, network security and cryptography which makes it an excellent research reference and undergraduate/postgraduate text book. [+]Practical Intranet Security also includes a CD-ROM with the SESAME security architecture, and example SESAME secured applications.
Creator: Ann Marie Grizzaffi Maynard
Edition: 1
Publication date: 2001-05-31
Dewey code: 004
List Price: $214.00
Price: $214.00
Review Workload Characterization of Emerging Computer Applications (The Springer International Series in Engineering and Computer Science) / Springer:The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important in understanding and exploiting their interesting features. This book includes ten chapters on various aspects of characterization. The contributors to this volume are internationally recognized experts whose experience spans both industrial applications and the academic community. Workload Characterization of Emerging Computer Applications is an essential reference tool that can also be used as a text in graduate-level courses on system design.
Publication date: 2002-09-30
Review ISDN und DSL. / mitp-Verlag:
Publication date: 1998-03
Dewey code: 004
List Price: $59.99
Price: $215.11
Review Teach Yourself Java 1.1 in 21 Days, Sun Certification Exam Preparation Guide (Sams Teach Yourself) / Sams Publishing:A self-study guide for preparing for the Sun Java Programmer Certification exam, this information is presented in the popular "Teach Yourself" format. The 56 course objectives are covered completely with hands-on examples, followed by sample questions that will prepare users for the exam. The CD-ROM includes a series of sample tests that the reader can take electronically.
Publication date: 2002-08-12
Dewey code: 004.0688
Review IT Service Management Guide: Vol. 1 / Addison Wesley:
Creator: Silvio Munari
Edition: 1
Publication date: 2000-11-30
Dewey code: 303.4834
List Price: $262.00
Price: $216.24
Review Computers and Networks in the Age of Globalization (International Federation for Information Processing, Volume 185) / Springer:In modernity, an individual identity was constituted from civil society, while in a globalized network society, human identity, if it develops at all, must grow from communal resistance. A communal resistance to an abstract conceptualised world, where there is no possibility for perception and experience of power and therefore no possibility for human choice and action, is of utmost importance for the constituting of human choosers and actors. This book therefore sets focus on those human choosers and actors wishing to read and enjoy the papers as they are actually perceiving and experiencing their lives in a diversity of social and cultural contexts. In so doing, the book tries to imagine in what kind of networks humans may choose and act based on the knowledge and empirical evidence presented in the papers. The topics covered in the book include: People and Their Changing Values. Citizens in a Network Society. The Individual and Knowledge Based Organisations. Human Responsibility and Technology. Exclusion and Regeneration. This valuable new book contains the edited proceedings of the Fifth World Conference on Human Choice and Computers (HCC-5), which was sponsored by the International Federation for Information Processing (IFIP) and held in Geneva, Switzerland in August 1998. [+]Since the first HCC conference in 1974, IFIP's Technical Committee 9 has endeavoured to set the agenda for human choices and human actions vis-à-vis computers.
Creator: International Engineering Consortium
Publication date: 2003-01-01
List Price: $295.00
Price: $215.35
Review Network Security: Technology Advances, Strategies, and Change Drivers (Comprehensive Report series) / International Engineering Consortium:This guide focuses on the issues, innovations, strategies, case studies, and policy choices that will affect all communications systems and the information that flows over them in the near future. The report covers such topics as network monitoring and recovery, risk analysis and evolution, disaster-recovery planning, resilient emergency services, security in wireless LANs, and the best-practices for combatting cyber-crime. It offers a wide range of perspectives from leading professionals who are highly experienced in the increasingly vital field of network security, delivering the latest information on today's most challenging security threats, as well as the most effective solutions and strategies to combat these challenges.
Publication date: 2007-08-23
List Price: $215.00
Price: $215.00
Review ISO/TS 10303-27:2000, Industrial automation systems and integration -- Product data representation and exchange -- Part 27: Implementation methods: Java ... interface with Internet/Intranet extension / Multiple. Distributed through American National Standards Institute (ANSI):This part of ISO 10303 specifies a binding of the Java1) programming language to application data modelled in EXPRESS, ISO 10303-11 and to the standard data access interface, ISO 10303-22. It also specifies an import and export mechanism for data according to the clear text encoding of the exchange structure, ISO 10303-21. A further extension is that SDAI repositories can be created, deleted and linked while the SDAI session is open. Dynamically linking SDAI repositories through a network like Internet or Intranet allows accessing and changing of remote data. In addition to the scope of ISO 10303-22 the scope of this part of ISO 10303 contains:creating, deletion and linking of the data repositories during an SDAI session; specific support for linking a remote data repository through a network like Internet or Intranet; convenience interfaces, classes, fields and methods suitable to this Java programming language binding; implementation mechanisms for the handling of errors as specified in ISO 10303-22; import from and export to the clear text encoding of the exchange structure as specified in ISO 10303-21.
Creator: Danhyung Lee
Edition: 1
Publication date: 2001-08-31
Dewey code: 004
List Price: $258.00
Price: $243.12
Review Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing) / Springer:This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Applications of Verification, Distributed Systems Testing, Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history. Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.
Creator: Society Of Photo-Optical Instrumentation
Publication date: 2006-01
Review Next-Generation Communication and Sensor Networks, 2006: 2-3 October, 2006, Boston, Massachusetts, USA (Proceedings of SPIE) / SPIE-International Society for Optical Engine:
Authors
- Japan) Workshop on High Performance Switching and Routing (2002 : Kobe
Dewey code: 004
List Price: $212.00
Price: $212.00
Review High Performance Switching and Routing (Hpsr2002), 2002 Workshop / Denshi John Tsushin Gakkai:
Creator: Wuhan East Lake High-Tech Development Zo
Publication date: 2004-05-30
Dewey code: 621
List Price: $215.00
Price: $215.00
Review Apoc 2003: Asia-pacific Optical And Wireless Communications Materials And Active Devices (Proceedings of S P I E) / SPIE-International Society for Optical Engine:
Creator: Society Of Photo-Optical Instrumentation
Publication date: 2007-01
Review Wireless Sensing and Processing II: 9 April 2007, Orlando, Florida, USA (Proceedings of SPIE) / SPIE-International Society for Optical Engine:
Publication date: 1997-07
Dewey code: 005.7565
Price: $79.50
Review The Developer's Handbook to DB2 for Common Servers (Mcgraw-Hill Series on Database Warehousing and Data Management) / McGraw-Hill Companies:Reviewed for accuracy by a team of IBM analysts and DB2 specialists, this authoritative, one-stop reference to development DB2/2 and DB2/6000 applications is the only comprehensive and up-to-date sourcebook on the latest versions of the red-hot database software that doubled its sales in the past year. Author Roger E. Sanders provides complete source code examples in this logically organized, impressively sized volume. He covers the underlying database architecture, application development fundamentals, and the latest tools for developing object-oriented DB2/2 and DB2/6000 database applications.
Creator: Michael J. De Weert
Edition: 1
Publication date: 2008-12-01
Dewey code: 004
List Price: $249.00
Price: $212.36
Review Harbour Protection Through Data Fusion Technologies (NATO Science for Peace and Security Series C: Environmental Security) / Springer:This volume includes the proceedings of the NATO Advanced Research Workshop held in Tallinn, Estonia, June 27-July 1, 2005 entitled Data Fusion Technologies for Harbour Protection. The aim of the ARW was to understand the requirements and procedures for ensuring security at a Harbour/Port and analyse how the Data Fusion Technology can enhance the situational awareness and help improve performance for Harbour Protection. The ARW brought together harbour security domain experts (administrators, policy makers, etc. ) with a group of technology experts of international standing in Data/Information Fusion and detection technology in order to provide a mutual understanding of needs and capabilities related to Harbour protection.
| Browse Networking:
Models & Brands:
Power of Now: How Winning Companies Sense and Respond to Change in Real Time (Enterprise Computing), Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science), Proceedings: Darpa Information Survivability Conference and Exposition : Washington, Dc April 22-24, 2003, Intelligent Networks and New Technologies (IFIP International Federation for Information Processing), 1997 IEEE International Symposium Personal, Indoor and Mobile Radio Cummunications, Pimrc, Practical Intranet Security: Overview of the State of the Art and Available Technologies, Workload Characterization of Emerging Computer Applications (The Springer International Series in Engineering and Computer Science), ISDN und DSL., Teach Yourself Java 1.1 in 21 Days, Sun Certification Exam Preparation Guide (Sams Teach Yourself), IT Service Management Guide: Vol. 1, Computers and Networks in the Age of Globalization (International Federation for Information Processing, Volume 185), Network Security: Technology Advances, Strategies, and Change Drivers (Comprehensive Report series), ISO/TS 10303-27:2000, Industrial automation systems and integration -- Product data representation and exchange -- Part 27: Implementation methods: Java ... interface with Internet/Intranet extension, Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing), Next-Generation Communication and Sensor Networks, 2006: 2-3 October, 2006, Boston, Massachusetts, USA (Proceedings of SPIE), High Performance Switching and Routing (Hpsr2002), 2002 Workshop, Apoc 2003: Asia-pacific Optical And Wireless Communications Materials And Active Devices (Proceedings of S P I E), Wireless Sensing and Processing II: 9 April 2007, Orlando, Florida, USA (Proceedings of SPIE), The Developer's Handbook to DB2 for Common Servers (Mcgraw-Hill Series on Database Warehousing and Data Management), Harbour Protection Through Data Fusion Technologies (NATO Science for Peace and Security Series C: Environmental Security)Top headlines: After 30 years, his second National Book Award: Judges for the National Book Award honored a comeback, giving the fiction award to Peter Matthiessen's "Shadow Country," a thorough revision of a trilogy of novels from the 1990s. The 81-year-old author last won a National Book Award nearly 30 years ago. ›12:10 20 Nov, Thu Are you smart? Take our weekly news quiz: How much do you remember about the week in news? Take msnbc.com's weekly quiz and find out what you can recall. ›19:43 20 Mar, Thu Gross: Banks Claim the Credit Crisis is Over. It's Not.: Banks insist their credit problems are over. Why on earth do investors believe them? ›21:31 9 Oct, Tue Real Estate: Keeping Tabs On 'This Old House': Now in its 28th year, 'This Old House' has helped transform dozens of houses. But what does it really cost to be part of this DIY club? ›17:21 9 Oct, Tue Iraq: With U.S. Help, Warlords Gain New Power: ›21:49 6 Oct, Sat Slide show: Images: Celebrity cougar couples: Even though they're separated by years (decades in some cases), these celebrity twosomes are living proof that age is only a number. ›18:06 21 Nov, Fri Gifting necessities seen as big holiday hit: Forget the wish list. Shoppers may be giving the gift of necessity this holiday season, buying up cards for gas, groceries and even utilities to help friends and family through lean times. ›19:57 21 Nov, Fri Send in your home and garden questions: Got questions about how to fix up your home and garden for the winter and beyond? Is there a project you want to tackle, but don't know how to approach? Send in your questions, and TODAY's home expert Lou Manfredini might answer them on TODAY. ›15:34 21 Nov, Fri Burmese Battle Spiritual and Economic Ills: Businesses are struggling, prices are rising and residents are facing a spiritual crisis. An on-scene report from post-protest Rangoon. ›18:10 11 Oct, Thu Holidays can still be happy in tough times: Ask Kitty" columnist Kitty Schindler is the newest contributor to TODAYshow.com, and also the oldest at age 85, she has been around long enough to remember tough times. Even so, her memories of Thanksgiving are happy ones. ›21:41 21 Nov, Fri FDIC to guarantee $1.4 trillion in bank debt: Federal regulators will guarantee as much as $1.4 trillion in U.S. banks' debt in a bid to get the distressed financial system pumping again. ›01:03 Seeking Common Ground on Abortion: Can evangelicals and liberals come together over abortion, gay rights, and the role of religion in public life? ›14:35 10 Oct, Wed Germany drops attempt to ban Scientology: Germany is dropping its pursuit of a ban on Scientology after finding insufficient evidence of illegal activity, security officials said Friday. ›20:35 21 Nov, Fri Child deaths test faith-healing exemptions: Three criminal cases have revived concerns about exemptions that most states grant to parents who rely on faith healing instead of doctors to treat sick children. ›20:05 21 Nov, Fri HIV tests not as routine as government wants: Two years after the government urged that HIV tests become as common as cholesterol checks, one in five people infected with the AIDS virus still doesn't know it. ›22:42 20 Nov, Thu Lawsuit claims teen with HIV was bullied: The family of a 14-year-old girl who says she was bullied so badly over her HIV-positive status that she left school is suing the school district. ›21:22 21 Nov, Fri Russia OKs longer presidential terms: The lower house of Russia's parliament gave its final approval to a bill extending the presidential term, a move widely seen as paving the way for Vladimir Putin's return to the presidency. ›17:23 21 Nov, Fri Mexico: Ex-drug czar took cartel money: Mexico's former drug czar took $450,000 to leak information to a powerful cartel, officials said Friday. ›01:38 Larry Craig, Hall of Famer: Not even a sex-sting arrest and an on-again, off-again guilty plea can keep Idahos senior senator from induction into the pantheon of Gem State greats. ›17:40 12 Oct, Fri Terror Watch: Gonzales Lawyers Up: Still under investigation by Congress and Justice Department lawyers who once worked for him, the former attorney general has turned to a leading Washington attorney to help him beat the rap. ›18:12 10 Oct, Wed Disputed Senate ballots hold key to Minn. win: The pile of disputed ballots in Minnesota's U.S. Senate race is growing at a pace sure to dwarf the 215-vote margin prior to the recount, making it tough to tell who is gaining an edge as the recount progresses. ›17:56 21 Nov, Fri GM to return two leased jets amid criticism: General Motors Corp will return two of its leased corporate jets amid intense criticism in Washington this week on the luxury travel arrangements of its chief executive. ›18:41 21 Nov, Fri Video: Down and out in Car Town, USA: Nov. 21: The Big Three auto companies may be on a losing streak, but according to factory laborers in Detroit, it's the workers who are paying the price. NBC's Mara Schiavocampo reports.(Nightly News) ›23:51 21 Nov, Fri Unable to recognize voices, except Sean Connery's: Body Odd: A 60-year-old British woman is the first documented case of someone born without the ability to detect familiar voices. ›14:19 19 Nov, Wed |
