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: Patrick Werquin
Publisher: OECD Publishing
Keywords: outcomes, policies, practices, learning, informal, non, formal, recognising
Number of Pages: 96
Published: 2010-04-30
ISBN-10: 9264063846
ISBN-13: 9789264063846

Although learning often takes place within formal settings and designated environments, a great deal of valuable learning also occurs either deliberately or informally in everyday life. Policy makers in OECD countries have become increasingly aware that non-formal and informal learning represents a rich source of human capital.Policies which recognise this can play a significant role in a coherent lifelong learning framework, and present practices can be improved to make the knowledge and competencies people acquire outside of formal schooling more visible. The challenge for policy makers is t
17439

Author: Werquin Patrick
Publisher: OECD Publishing
Keywords: outcomes, policies, practices, learning, informal, non, formal, recognising
Number of Pages: 92
Published: 2010-04-15
ISBN-10: 9264063854
ISBN-13: 9789264063853

Although learning often takes place within formal settings and designated environments, a great deal of valuable learning also occurs either deliberately or informally in everyday life. Policy makers in OECD countries have become increasingly aware that non-formal and informal learning represents a rich source of human capital. Policies which recognise this can play a significant role in a coherent lifelong learning framework, and present practices can be improved to make the knowledge and competencies people acquire outside of formal schooling more visible. The challenge for policy makers is
52872

Author: Menno Pradhan
Publisher: World Bank Publications
Keywords: supply, models, labor, decisions, participation, sector
Number of Pages: 50
Published: 1995
ISBN-10: 0821331248
ISBN-13: 9780821331248

Living Standards Measurement Study No. 113. This paper analyzes the extent to which workers in Bolivia face barriers to entry in the formal and informal sectors of the urban labor market. These barriers are most prevalent in the formal sector becau
20941

Author: Raúl Hernández-Coss
Publisher: World Bank Publications
Keywords: option, women, undocumented, migrants, transfers, formal, indonesia, remittance, corridor, making, malaysia
Number of Pages: 123
Published: 2008
ISBN-10: 0821375776
ISBN-13: 9780821375778

'The Malaysia-Indonesia Remittance Corridor' finds that Indonesian migrants to Malaysia are showing an increasingly clear preference for informal transfer mechanisms compared to their counterparts in other countries. A little less than half of all Indonesian migrants overseas-thought to be around 2 million-are working in Malaysia. An increasing number of migrants are women, and the corridor is also marked by a high number of undocumented migrants. Only about 10 percent of the estimated flow of remittances into Indonesia from Malaysia is transferred through the formal system. The extent of this
25604

Author: Yvonne D. Jones
Publisher: DIANE Publishing
Keywords: consumer, disclosures, costs, products, remittances, information, international
Number of Pages: 60
Published: 2006-04-30
ISBN-10: 1422305120
ISBN-13: 9781422305126

Remittances (RE) are personal funds immigrants send to their home countries. The majority of these RE are sent to Latin Amer. & the Caribbean & they are a very important source of financial flows to many countries. In 2004, the U.S., with other countries, pledged to reduce fees for RE. RE senders in the U.S. can send funds through entities in the formal financial sector such as money transfer operators, banks, & credit unions or other informal means such as couriers. This report provides info. on: the methods of transmission available to RE senders in the formal financial sector & the advantag
15034

Author: Neil A. G. McPhie
Publisher: DIANE Publishing
Keywords: address, employee, misconduct, effectively, agencies, discipline, creative, solutions, alternative
Number of Pages: 59
Published: 2009-05-01
ISBN-10: 1437906478
ISBN-13: 9781437906479

Alternative discipline is an approach to addressing misconduct that enables supervisors to consider the nature of the offense, and the personality of the employee, when crafting a response that has the greatest potential to help the employee to avoid future misconduct. For ex., Fed. supervisors have the authority to suspend an employee without pay if the employee misbehaves -- but what if the supervisor thinks another method may have a better chance of changing the employeeżs behavior? This report looks at what agencies are doing in this area. Few agencies have a formal policy on alternative
7545
(Page 1 of 32)    First  
Previous
   Next   Last  Go to Page:
No Books found.