Product Description
book ... Read more

Product Description
This bibliography brings together key articles, books, dissertations, conference papers, and other reports that discuss how library patrons are being instructed in the use of online catalogs, commercial databases, and CD-ROM products. Over 550 entries are annotated to provide a basic compendium for librarians who are training users in new online technologies, library school faculty teaching future librarians, and researchers in both library and information science and education. The book includes instruction given in all types of libraries and covers materials published between 1970 and 1988. Emphasis is on instruction for library patrons or end-users and limited to materials appearing in English. With author and subject indexes. ... Read more

Product Description
High Quality Content by WIKIPEDIA articles! The Media Delivery Index (MDI) is a set of measures that can be used to monitor both the quality of a delivered video stream as well as to show system margin for IPTV systems by providing an accurate measurement of jitter and delay at network level (Internet Protocol, IP), which are the main causes for quality loss. Identifying and quantizing such problems in this kind of networks is key to maintaining high quality video delivery and providing indications that warn system operators with enough advance notice to allow corrective action. The Media Delivery Index is typically displayed as two numbers separated by a colon: the Delay Factor (DF) and the Media Loss Rate (MLR). ... Read more

Product Description
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! The Security Parameter Index (SPI) is an identification tag added to the header while using IPsec for tunneling the IP traffic. This tag helps the kernel discern between two traffic streams where different encryption rules and algorithms may be in use. The SPI (as per RFC 2401) is an essential part of an IPsec Security Association (SA) because it enables the receiving system to select the SA under which a received packet will be processed. An SPI has only local significance, since it is defined by the creator of the SA; an SPI is generally viewed as an opaque bit string. However, the creator of an SA may interpret the bits in an SPI to facilitate local processing. This works like port numbers in TCP and UDP connections. What it means is that there could be different SAs used to provide security to one connection. An SA could therefore act as a set of rules. ... Read more

Product Description
Search engines leave you with two questions: are all these hits really relevant and have I missed any significant information? Indexes resolve all the shortcomings of search engines, giving your website visitors the best possible service. Assuming no prior knowledge, Website Indexing gives you everything you need to build and maintain website indexes: indexing techniques, HTML knowledge and software. For everyone who wishes to get their website visitors to their destination page as quickly as possible. "Website Indexes is a great introduction to web indexing in general and is also a good practical guide to working with XRefHT32...So if you are really interested in web indexing, this is a good buy." - Pierke Bosschieter, The Indexer Vol 25 No 3 April 2007 ... Read more

Product Description
In times of worldwide globalisation the knowledge of useful information is becoming increasingly important. Parallel to genetic engineering, the expansion of the Internet produces similar volumes of data - frequently saved in text files. One of the most relevant intersection is the usage of approximate string matching in large text data. The Internet has to face the challenge of not only to concentrating on request times but also finding more context-relevant information. Associated with this aim, further steps in this field have to take into consideration that documents can include mistakes in orthography or words being abbreviated. Other areas of information are substituted with their acronyms or are less important and can be ignored. All of these tasks are united in the fields of computational linguistics. This master thesis shows stepwise the tokenising of real text, the homogenisation of words, and the storage in a specific index structure for subsequent approximate string matching - in consideration of secondary storage. A prototype programmed in Java completes the current work. ... Read more

Product Description
Contents:*Forward*Preface*The Emperor's old clothes*Quicksort*A contribution to the development of ALGOL*An axiomatic basis for computer programming*Proof of a program:Find*Procedures and parameters: an axiomatic approach*Compufer science*Proof of correctness of data representations*Proof of a structured program: the Sieve of Eratosthenes*A structured paging system*An axiomatic definition of the programming language Pascal*Monitors: an operating system structuring concept*Hints on programming-language design*Recursive data structures*Parallel programming: an axiomatic approach*Communicating sequential processes*A calculus of total correctness for communicating sequential processes*Programming is an engineering profession*A couple of novelties in the propositional calculus*Programs are predicates*The mathematics of programming*An overview of some formal methods for program design*Envoi*References*Bibliography of works by C.A.R. Hoare*Index ... Read more