Computer science, like other mathematical fields, cannot live without a tight relationship with reality. However, such a relationship is, frankly, not very common. This is probably why people so enthusiastically welcome a true meeting of theory and practice. In that sense, the coming together of XML and tree automata theory was a...

A FEW YEARS AGO some students and I were looking at a map that pinpointed the locations of about loo cities. We asked ourselves, "Which of these cities are neighbors of each other?" We knew intuitively that some pairs of cities were neighbors and others were not; we wanted to find a formal mathematical characterization that...

The integration of multi-million-gate configurable logic, pre-compiled heterogeneous hardware components, and on-chip processor subsystems offer high computation capability and exceptional design flexibility to modern reconfigurable hardware. Moshe Gavrielov, the recently appointed president and CEO of Xilinx, which is the largest...

Developing software with testable requirements is the theme of this book. A testable requirement is one with an acceptance test. Acceptance tests drive the development of the software. As many development groups have experienced, creating acceptance tests prior to implementing requirements decreases defects and...

This volume is the last of three volumes devoted to the work of one of the most prominent 20th century mathematicians. Throughout his mathematical work, A.N. Kolmogorov (1903-1987) showed great creativity and versatility and his wide-ranging studies in many different areas, led to the solution of conceptual and fundamental problems and the...

The area of aggregation operations is one of the most promising off-springs of fuzzy sets theory. Before Zadeh introduced fuzzy set connectives in 1965, there was a wide gap between logic and decision sciences. On the one hand, multiplevalued logics proposed many-valued extensions of the conjunctions and disjunctions for which the...

Comprehensive, engaging...

This book is intended as an introduction to the design of digital processors that are dedicated to performing a particular task. It presents a number of general methods and also covers general purpose architectures such as programmable processors and configurable logic. In fact, the dedicated digital system might be based on a standard...

This volume was primarily intended to present selected papers from the workshop on Theory and Applications of Nested Relations and Complex Objects, held in Darmstadt, FRG, from April 6-8, 1987. Other papers were solicited in order to provide a picture of the field as general as possible. Research on nested relations and complex objects...

Current search paradigms for the Web, direct access through search engines and navigational access via static taxonomies, have recently been strongly criticized. A third paradigm, dynamic taxonomies or faceted search, is gaining acceptance to the extent that it is now the de facto standard in product selection for e-commerce. This new...

Using Force.com, you can build enterprise applications with world-class value, scalability, and reliability--and do it in days or weeks, not months...