Many scenarios in modern computing give rise to a common problem: why should Alice trust computation that’s occurring at Bob’s machine? (The computer security field likes to talk about “Alice” and “Bob” and protection against an “adversary” with certain abilities.) What if Bob, or...
Fully revised and updated for all of the changes in JavaServer Faces (JSF) 2.0, this comprehensive volume covers every aspect of the official standard Web development architecture for JavaEE. Inside this authoritative resource, the co-spec lead for JSF at Sun Microsystems shows you how...
The specifications in this book are the result of a number of case studies performed by
researchers from the Programming Research Group at the University of Amsterdam.
The primary goal was to study the use of the techniques developed by the
Programming Research Group for the specification of real-life protocols. From the
pool of...
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...
Wireless communications are becoming ubiquitous in homes, offices, and enterprises with the popular IEEE 802.11 wireless LAN technology and the up-andcoming IEEE 802.16 wireless MAN technology. The wireless nature of communications defined in these standards makes it possible for an attacker to snoop on confidential...
An initiative of the Free Standards Group, the Linux Standard Base (LSB) is a set of standards designed to increase compatibility among Linux distributions and enable applications to run on any LSB-compliant system. The advent of LSB 2.0 is revolutionary in that it allows ISVs to create “shrink-wrapped software” for the Linux...
Filled with useful examples and the depth, clarity, and attention to detail that made the first edition so popular with web developers, JavaServer Pages, 2nd Edition is completely revised and updated to cover the substantial changes in the 1.2 version of the JSP specifications, and includes coverage of the new JSTL Tag libraries-an...
This book addresses the problem of hardware synthesis from an initial, infinite precision, specification of a digital signal processing (DSP) algorithm. DSP algorithm development is often initially performed without regard to finite precision effects, whereas in digital systems values must be represented to a finite precision...
XML and SQL Server 2000 is the ideal resource for SQL developers who need to learn about the new XML capabilities of SQL Server 2000. If you're a web developer who wants to utilize XML in your projects but are worried about the complexities of the standard or its implementation-this book will...
CSS3 is the latest version of Cascading Style Sheets, the language that in the hands of a skilled designer turns
the ugly duckling of unadorned HTML into the gracious swan of a sophisticated web page. Some web designers
will tell you dismissively that CSS3 won’t be ready for years. In one sense, they’re right. Instead of...
John Bird's approach to mathematics, based on numerous worked examples supported by problems, is ideal for students of a wide range of abilities. Theory is kept to a minimum, with the emphasis firmly placed on problem-solving skills, making this a thoroughly practical introduction to the mathematics engineering students need to...