Index of Conference Proceedings


Book Description




Synopsis: An Annual Index of Greek Studies, 1993, 3


Book Description

Presents 12,860 entries listing scholarly publications on Greek studies. Research and review journals, books, and monographs are indexed in the areas of classical, Hellenistic, Biblical, Byzantine, Medieval, and modern Greek studies., but no annotations are included. After the general listings, entries are also indexed by journal, text, name, geography, and subject. The CD-ROM contains an electronic version of the book. Annotation copyrighted by Book News, Inc., Portland, OR













Law Enforcement Management and Administrative Statistics, 1993


Book Description

Presents 1993 data of the nationwide survey of the Nation's State & local law enforcement agencies. Includes sections showing data on personnel, expenditures & pay, operations & equipment, computers & information systems, & policies & programs. Hundreds of statistical tables.




Formal Description Techniques and Protocol Specification, Testing and Verification


Book Description

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.




Sheriffs' Departments 1993


Book Description




Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems


Book Description

“Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems” provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems. Unlike other books which examine theories and issues in individual fields, this book reviews important problems and countermeasures across the fields of software reliability, software verification and validation, digital systems, human factors engineering and human reliability analysis. Divided into four sections dealing with software reliability, digital system reliability, human reliability and human operators in large-scale digital systems, the book offers insights from professional researchers in each specialized field in a diverse yet unified approach.