《Prolog Programming in Depth》:
In this book, we emphasize practical Prolog programming, not just theory. We
present several ready-to-run expert system shells, as well as routines for sorting,searching, natural language processing, and even numerical equation solving.
We also emphasize interoperability with other software. For example, chapter 5 presents techniques for reading Lotus spreadsheets and other special file formats from within a Prolog program.
In 1960, R.E. Kalman published his famous paper describing a recursive solution to the discretedata
linear filtering problem [Kalman60]. Since that time, due in large part to advances in digital
computing, the
Kalman filter
has been the subject of extensive research and application,
particularly in the area of autonomous or assisted navigation. A very “friendly” introduction to the
general idea of the Kalman filter can be found in chapter 1 of [Maybeck79], while a more complete
introductory discussion can be found in [Sorenson70], which also contains some interesting
historical narrative.
Software Testing, Second Edition provides practical insight into the world of software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when software is ready for release. Updated from the previous edition in 2000 to include a chapter that specifically deals with testing software for security bugs, the processes and techniques used throughout the book are timeless. This book is an excellent investment if you want to better understand what your Software Test team does or you want to write better software.
About:
Paco (pacKAGE oRGANIZER) is a simple, yet powerful tool to aid package management when installing programs from source code. It uses the LD_PRELOAD method to track package installations, and provides various options to keep the installed software organized. It s mainly a command line application but it has also an optional GTKMM interface.
Release focus: Minor bugfixes
Changes:
Libpaco-log has been rewritten in C. This prevents a glibc installation failure when building LFS in chapter 6. The option -x|--expand has been removed. Several bugs have been fixed in paco, gpaco, and rpm2paco.
Author:
David Rosal
《為Windows Vista編寫安全的代碼》，2007年出版
Providing developers with first-hand insights into design decisions and practical advice for solving real-world security issues, this authoritative guide urges developers to write more secure code on the Vista platform to support a growing customer base.
Table of Contents
Writing Secure Code for Windows Vista
Foreword
Introduction
chapter 1 - Code Quality
chapter 2 - User Account Control, Tokens, and Integrity Levels
chapter 3 - Buffer Overrun Defenses
chapter 4 - Networking Defenses
chapter 5 - Creating Secure and Resilient
chapter 6 - Internet Explorer 7 Defenses
chapter 7 - Cryptographic Enhancements
chapter 8 - Authentication and Authorization
chapter 9 - Miscellaneous Defenses and Security-Related Technologies
Index
List of Figures
List of Tables
List of Sidebars
CHAPT07\CHAPT07.CPP 16-Bit test program for the Fossil class
CHAPT07\CHAPT07.EXE 16-Bit executable of the test program.
CHAPT07\CHAPT07.MAK A makefile for Borland or Microsoft C++
CHAPT07\BIOSPORT.CPP A copy of the file from chapter 6
CHAPT07\BIOSPORT.H A copy of the file from chapter 6
μC/OS-II Goals
Probably the most important goal of μC/OS-II was to make it backward compatible with μC/OS (at least from an
application’s standpoint). A μC/OS port might need to be modified to work with μC/OS-II but at least, the application
code should require only minor changes (if any). Also, because μC/OS-II is based on the same core as μC/OS, it is just
as reliable. I added conditional compilation to allow you to further reduce the amount of RAM (i.e. data space) needed
by μC/OS-II. This is especially useful when you have resource limited products. I also added the feature described in
the previous section and cleaned up the code.
Where the book is concerned, I wanted to clarify some of the concepts described in the first edition and provide
additional explanations about how μC/OS-II works. I had numerous requests about doing a chapter on how to port
μC/OS and thus, such a chapter has been included in this book for μC/OS-II.
This book shows you how to write programs that run under Microsoft Windows 98, Microsoft Windows NT 4.0, and Windows NT 5.0. These programs are written in the C programming language and use the native Windows application programming interfaces (APIs). As I ll discuss later in this chapter, this is not the only way to write programs that run under Windows. However, it is important to understand the Windows APIs regardless of what you eventually use to write your code.
