Search inside eBookDB


Author: Barbara Mayer
Publisher: DIANE Publishing
Keywords: systems, verification, formal, guidelines
Number of Pages: 48
Published: 1989-06-01
ISBN-10: 0788105523
ISBN-13: 9780788105524

Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. Explains the requirements and the process used to evaluate formal verification systems. Includes: evaluation approach, methodology and system specification, and implementation and other support factors. Glossary and bibliography.
39158

Author: H. Todd Mowrer
Publisher: DIANE Publishing
Keywords: systems, evaluation, existing, management, ecosystem, support, decision
Number of Pages: 159
Published: 1997
ISBN-10: 0788171925
ISBN-13: 9780788171925

Presents the results of a questionnaire that was designed to evaluate existing decision support systems in an ecosystem management context. The questionnaire was distributed to developers of 24 decision support systems in the government, academic, & private sectors. This evaluation is intended to assist current & potential users of decision support systems in determining which existing system most closely fulfills their needs. It is also intended to encourage cooperation among developers of decision support systems to more effectively unify & fulfill these criteria in future systems.
28644

Author: Erio Ziglio
Publisher: WHO Regional Office Europe
Keywords: poverty, confront, systems, health
Number of Pages: 192
Published: 2003
ISBN-10: 9289013699
ISBN-13: 9789289013697

Health care systems across the WHO European Region have done and are doing much to tackle the complex and daunting problem of poverty and health. This book describes 12 initiatives already undertaken in 10 WHO member states. It documents WHO's preliminary findings on how health care systems can help to alleviate poverty, and reaches three main conclusions: health care systems can indeed take effective action to improve the health of the poor; sometimes health care systems can actually represent an additional barrier for the poor and there is an urgent need for more knowledge, training and capa
30109

Author: Jeffrey C. Steinhoff
Publisher: DIANE Publishing
Keywords: federal, financial, management, improvement, systems, reviewing, system, requirements, checklist, benefit
Number of Pages: 118
Published: 2003-06
ISBN-10: 0756734258
ISBN-13: 9780756734251

The Fed. Financial Mgmt. Improvement Act of 1996 (FFMIA) requires, among other things, that agencies implement & maintain financial management systems (FMS) that substantially comply with federal FMS requirements. These requirements: promote understanding of key financial management systems concepts & requirements; provide a framework for establishing integrated financial management systems to support program & financial managers; & describe specific requirements of financial management systems. This checklist will assist: agencies in implementing & monitoring their benefit systems; & managers
28443

Author: Jeffrey C. (FWD) Steinhoff
Publisher: DIANE Publishing
Keywords: federal, financial, management, improvement, systems, reviewing, system, requirements, checklist, travel
Number of Pages: 62
Published: 1999-11
ISBN-10: 0756707579
ISBN-13: 9780756707576

The Fed. Financial Mgmt. Improve. Act (FFMIA) of 1996 requires, among other things, that agencies implement & maintain financial mgmt. systems that substantially comply with Fed. financial mgmt. systems require. These are detailed in the Financial Mgmt. Systems Require. series issued by the Joint Financial Mgmt. Improve. Prog. (JFMIP) & Office of Mgmt. & Budget Circular A-127, Financial Mgmt. Systems. This checklist reflects JFMIP's revised Travel System Require. (July Ô99) to assist: agencies in implementing & monitoring their travel systems; & mgmt. & auditors in reviewing their travel syst
40953

Author: Bernice Steinhardt
Publisher: DIANE Publishing
Keywords: systems, national, insights, united, states, offer, sub, experiences, key, indicator
Number of Pages: 108
Published: 2011-08
ISBN-10: 1437983995
ISBN-13: 9781437983999

The U.S. has many indicators on a variety of topics such as the economy and health, but has no official vehicle for integrating and disseminating this information to better inform the nation about complex challenges. Diverse jurisdictions across the U.S. and internationally are integrating and disseminating this information through comprehensive key indicator systems. This report studied: (1) how indicator systems are being used; (2) how indicator systems are designed and developed; (3) some factors necessary to sustain a system; and (4) potential implications for the development and use of a
12498

Author: Steve Hardcastle-Kille
Publisher: DIANE Publishing
Keywords: mapping
Number of Pages: 104
Published: 1992-05
ISBN-10: 1568063210
ISBN-13: 9781568063218

Describes a set of mappings which will enable interworking between systems operating the CCITT X.400 (1988) Recommendations on Message Handling Systems / ISO IEC 10021 Message Oriented Text Interchange Systems (MOTIS( [CCITT/ISO88a], and systems using the RFC 822 mail protocol [Crocker82a] or protocols derived from RFC 822. Aims to maximize the services offered across the boundary, whilst not requiring unduly complex mappings. Specifies a mapping between two protocols.
14331
(Page 1 of 311)    First  
Previous
   Next   Last  Go to Page:
No Books found.