Creating web pages was fairly straight-forward—in the early 1990's. Today, there are many, often competing technologies available for creating a web experience. Remarkably, all these differing technologies and strategies interoperate in a relatively seamless way to serve the billions of people who use the World Wide Web and the...
Concurrent processes can exhibit extremely complicated behavior, and
neither informal reasoning nor testing is reliable enough to establish their
correctness. In this thesis, we develop a new technique for the verification
of parallel programs. The technique is stated in terms of axioms and inference
rules, and it is used to prove...
CMMI® for Services (CMMI-SVC) is a comprehensive set of guidelines to help organizations establish and improve processes for delivering services. By adapting and extending proven standards and best practices to reflect the unique challenges faced in service industries, CMMI-SVC offers providers a...
More than fifteen years ago, I was faced with the following problem in an assignment
for a class in computer science. A brewery had to deliver beer to five stores, and the task
was to write a computer program for determining the shortest route for the truck driver to
visit all stores and return to the brewery. All my attemps to find a...
This book has its origin in lecture notes created at the Naval Postgraduate School (NPS), whose student and faculty support made The book is written for senior undergraduates and first dents. Practicing engineers should especially find the book the basic knowledge of detection and estimation theory. the text deals with detection aspects,...
Welcome to BlackBerry Development Fundamentals. I hope you enjoy reading
this book and keep it on your bookshelf for a long time. After working for
Research In Motion (RIM) and helping its customers understand their options
for building custom applications for the BlackBerry platform, I knew the time
was right for a book like this....
If your intention is to improve, not just pick up some "tricks," you
should understand exactly what is going on with the most mportant part
of the riding package, the rider. After all. whether your bike works well
or not is measured in ten/thousandths of inches and millimeters, that's
how far machine technology has...
Computer programs arc fun to write, and well-written computer pro
grams are fun to read. One of life's greatest pleasures can be the
composition of a computer program that you know will be a pleasure
for other people to read, and for yourself to read.
Computer programs can also do useful work. One of life's greatest...
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated...
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In...
This monograph presents a comparison of methods for organizing very large amounts of stored data called a very large database to facilitate fast retrieval of desired information on direct access storage devices. In a very large data base involving retrieval and updating, the major factor of immediate concern is the average number of accesses...
NHibernate 3 Beginner's Guide examines all of the topics required to get a functional data-access layer implemented while writing the least amount of code possible, presenting options along the way to handle particular edge cases or situations as they arise. The book begins with an introduction to NHibernate 3 and then moves on to...
