FMSE '05
Author: Ralf Küsters
Publisher:
Published: 2005
Total Pages: 104
ISBN-13: 9781595932310
DOWNLOAD EBOOKPosts
Fannie Mae and Freddie Mac
Author: James R. Cristie
Publisher: Nova Publishers
Published: 2007
Total Pages: 360
ISBN-13: 9781600213564
DOWNLOAD EBOOKIn the late 1980s and 1990s, Fannie Mae grew rapidly into the largest firm in the U.S. housing finance system and a major global financial institution. The Enterprise achieved double-digit growth in earnings per common share (EPS) for 15 straight years and leveraged its extraordinary financial success into enormous political influence. That financial and political success gave rise to a corporate culture at Fannie Mae in which senior management promoted the Enterprise as one of the lowest-risk financial institutions in the world and as "best in class" in terms of risk management, financial reporting, internal control, and corporate governance. This book describes the development and extent of the problems with Fannie Mae's accounting policies, internal controls, financial reporting, and corporate governance that led to the restatement of the Enterprise's financial reports and the actions to remedy that situation that the Office of Federal Housing Enterprise Oversight (OFHEO) has directed the Enterprise to take to date. The book also recommends that actions be taken to enhance the goal of maintaining the safety and soundness of Fannie Mae.
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Author: Elie Najm
Publisher: Springer
Published: 2006-10-04
Total Pages: 497
ISBN-13: 3540462201
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.
All About Maude - A High-Performance Logical Framework
Author: Manuel Clavel
Publisher: Springer
Published: 2007-07-19
Total Pages: 799
ISBN-13: 3540719997
DOWNLOAD EBOOKMaude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.
Algebra, Meaning, and Computation
Author: Kokichi Futatsugi
Publisher: Springer Science & Business Media
Published: 2006-06-22
Total Pages: 679
ISBN-13: 354035462X
DOWNLOAD EBOOKThis volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.
Official Summary of Security Transactions and Holdings
Author:
Publisher:
Published:
Total Pages: 596
ISBN-13:
DOWNLOAD EBOOKAutomata, Languages and Programming
Author: Luca Aceto
Publisher: Springer Science & Business Media
Published: 2008-06-24
Total Pages: 751
ISBN-13: 3540705821
DOWNLOAD EBOOKICALP 2008, the 35th edition of the International Colloquium on Automata, Languages and Programming, was held in Reykjavik, Iceland, July 7–11, 2008. ICALP is a series of annual conferences of the European Association for Th- reticalComputer Science(EATCS) which ?rsttook placein 1972.This year,the ICALP program consisted of the established Track A (focusing on algorithms, automata,complexityandgames)andTrackB(focusing onlogic,semanticsand theory of programming), and of the recently introduced Track C (focusing on security and cryptography foundations). In response to the call for papers, the Program Committees received 477 submissions, the highest ever: 269 for Track A, 122 for TrackB and 86 for Track C. Out of these, 126 papers were selected for inclusion in the scienti?c program: 70 papers for Track A, 32 for Track B and 24 for Track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many deserving papers could not be selected. ICALP 2008 consisted of ?ve invited lectures and the contributed papers.
Data and Applications Security XX
Author: Ernesto Damiani
Publisher: Springer Science & Business Media
Published: 2006-07-18
Total Pages: 327
ISBN-13: 3540367969
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 20th Annual Working Conference on Data and Applications Security held in Sophia Antipolis, France, in July/August 2006. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The papers explore theory, technique, applications, and practical experience of data and application security covering a number of diverse research topics such as access control, privacy, and identity management.
Official Summary of Security Transactions and Holdings Reported to the Securities and Exchange Commission Under the Securities Exchange Act of 1934 and the Public Utility Holding Company Act of 1935
Author: United States. Securities and Exchange Commission
Publisher:
Published: 1998
Total Pages: 550
ISBN-13:
DOWNLOAD EBOOKFSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
Author: S. Arun-Kumar
Publisher: Springer
Published: 2006-11-30
Total Pages: 442
ISBN-13: 3540499954
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.
