Quantification in Databases

Computer Science

Quantification in Databases:

Generalized Quantifiers in Action

AUTHOR: / Antonio Badia, University of Louisville, USA
ISBN-13: / 978-0-387-09563-9
PAGES/ILLUS: / approx. 200 p., 20 illus., Hardcover
PRICE: / approx. $135.00
AVAILABLE (US): / March 2009
The database industry is clearly a multi-billion, world-wide, all-encompassing part of the software world. Quantification in Databases: Generalized Quantifiers in Action introduces a query language called GQs—Generalized Quantification in Query. It is well known that most query languages are simply versions of First Order Logic (FOL). GQs are an extension of the idea of quantifier in FOL. GQs are a perfect example of a practical theory within databases.
This book provides a brief background in logic and introduces the concept of GQs, and then develops a query language based on GQs. Using Query Language with Generalized Quantifiers, the reader explores the efficient implementation of the concept, always a primary consideration in databases. This professional book also includes several extensions, for use with documents employing question and answer techniques.
SELLING POINTS:

• First book to focus exclusively on Generalized Quantification in Query, both a pratical and theoretical point of view
• Includes semantics with a focus on morphisms
• Includes material from databases, question answering, logic and linguistics in a unified manner

MARKET: / Professionals
SUBJECTS: / Database Management; Programming Languages, Compilers, Interpreters; Information Storage and Retrieval
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Chomicki, Logics for Databases and Information Systems (0-7923-8129-7, 1998 $179.50)
Maedche, Ontology Learning for the Semantic Web (0-7923-7656-0 , 2002, $105.00)
COMPETITION:
Halpin, Information Modeling and Relational Databases (Morgan Kaufmann,978-0123735683, 2008, $74.95)
Thuraisingham, Database and Applications Security (Auerbach Publications, 978-0849322242, 2005, $79.95)

Computer Science

Algebraic Cryptanalysis

AUTHOR: / Gregory V. Bard, FordhamUniversity, Bronx, NY, USA
ISBN-13: / 978-0-387-88756-2
PAGES/ILLUS: / approx. 280 p., 20 illus., Hardcover
PRICE: / approx. $119.00
AVAILABLE (US): / March 2009
Algebraic Cryptanalysis is a guide for advanced-level students and researchers/practitioners entering this new field. This text bridges the gap between a course in cryptography, and being able to read the cryptanalytic literature. Algebraic Cryptanalysis also covers several chapters on finite field linear algebra and the equicomplexity of matrix operations.This volume introduces several techniques, including linear systems of equations over finite fields, polynomial systems, along with how to adapt the latter to be solved by SAT-solvers. The cipher Keeloq, used in nearly all automobiles with remote key-less entry, is described as a running example, including the manipulation of the equations to enable their solution.
SELLING POINTS:

• One of first books to cover SAT-solvers, and how it can be used in cryptanalysis; plus chapters on finite field linear algebraand the cipher Keeloq
• Excellent guide for advanced-level students, researchers and practitioners entering the algebraic cryptanalysis field
• Bridges the gap between a course in cryptography, and being able to read the cryptanalytic literature, among academics and industry practitioners

MARKET: / Advanced-level students in computer science and mathematics, as a secondary text or reference book; practitioners working for intelligence agencies or security companies; algebraic geometers interested in seeking more applied topics
SUBJECTS: / Data Structures, Cryptology and Information Theory; Field Theory and Polynomials; Linear and Multilinear Algebras, Matrix Theory
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Koblitz, Algebraic Aspects of Cryptography (978-3-540-63446-1,2004, $119.00)
Tilborg, Fundamentals of Cryptography (978-0-7923-8675-9, 2000, $129.00)
Bauer, Decrypted Secrets (978-3-540-24502-5, 2007,$129.00)
COMPETITION:
Gerritzen, Algebraic Methods in Cryptography (AMS,978-0821840375,2006, $59.00)
Stamp, Applied Cryptanalysis (Wiley-IEEE Press, 978-0470114865, 2007, $90.50)

Computer Science

Fundamentals of Speaker Recognition

AUTHOR: / Homayoon Beigi, Recognition Technologies, Inc., White Plains, NY, USA
ISBN-13: / 978-0-387-77591-3
PAGES/ILLUS: / approx. 400 p., 20 illus., Hardcover
PRICE: / approx. $89.99
AVAILABLE (US): / March 2009
An emerging technology, Speaker Recognition is becoming well-known for providing voice authentication over the telephone for helpdesks, call centres and other enterprise businesses for business process automation. "Fundamentals of Speaker Recognition" introduces Speaker Identification, Speaker Verification, Speaker (Audio Event) Classification, Speaker Detection, Speaker Tracking and more. The technical problems are rigorously defined, and a complete picture is made of the relevance of the discussed algorithms and their usage in building a comprehensive Speaker Recognition System. It is also a valuable reference for developers of commercial technology and for speech scientists.
SELLING POINTS:

• Includes many applications ranging from person identification or verification to multimedia applications
• Based on course material/tutorials of the author, a distinguished professor at ColumbiaUniversity in New York, Engineering Department, and President and CEO of Recognition Technologies, Inc

MARKET: / Textbook for advanced-level students in computer science and engineering; practitioners and researchers in industry
SUBJECTS: / Signal Processing; Computer Imaging, Graphics and Computer Vision
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Schroeder, Computer Speech: Recognition & Compression (978-3-540-21267-6, 2004, $129.00)
Bosi, Introduction to Digital Audio Coding and Standards (978-1-4020-7357-1, 2002, $149.00)
COMPETITION:
Rabiner, Fundamentals of Speech Recognition (Prentice HallPTR, 978-0130151575, 1993, $98.00)
Lyons, Understanding Digital Signal Processing (Prentice HallPTR, 978-0131089891, 2004, $94.99)

Computer Science

Security for Web Services and Service-Oriented Architectures

AUTHORS: / Elisa Bertino, Purdue U, West Lafayette, IN, USA; Lorenzo Martino, Purdue U, West Lafayette, IN, USA; Federica Paci, U Milano, Italy and Anna Squicciarini, Purdue U, West Lafayette, IN, USA
ISBN-13: / 978-3-540-87741-7
PAGES/ILLUS: / approx. 240 p., Hardcover
PRICE: / $69.95
AVAILABLE (US): / March 2009
Web services based on the eXtensible Markup Language (XML), the Simple Object Access Protocol (SOAP), and related standards, and deployed in Service-Oriented Architectures (SOA), are the key to Web-based interoperability for applications within and across organizations. It is crucial that the security of services and their interactions with users is ensured if Web services technology is to live up to its promise. However, the very features that make it attractive – such as greater and ubiquitous access to data and other resources, dynamic application configuration and reconfiguration through workflows, and relative autonomy – conflict with conventional security models and mechanisms.This book will serve practitioners as a comprehensive critical reference on Web service standards, with illustrative examples and analyses of critical issues.
SELLING POINTS:

• First book to cover research and existing or upcoming standards as well as platform-dependent functionalities
• Introduces a reference framework for future research and developments along security dimensions such as integrity, confidentiality, and availability

MARKET: / Graduate students, professionals, researchers
SUBJECTS: / Information Systems Applications (incl.Internet); Information Systems
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Alonso, Web Services Concepts, Architectures and Applications Series(978-3-540-44008-6, 2003, $59.95)
Birman, Reliable Distributed Systems (978-0-387-21509-9, 2005, $69.95)
COMPETITION:
Kanneganti, SOA Security (Manning Publications, 2008, $59.99)
Erl, SOA Principles of Service Design (Prentice Hall PTR, 978-0132344821, 2007, $49.99)

Computer Science

Multimedia Techniques for Device and Ambient Intelligence

EDITORS: / Ernesto Damiani, University of Milan, Italy and Jechang Jeong, Hanyang University, Seoul, Korea
ISBN-13: / 978-0-387-88776-0
PAGES/ILLUS: / approx. 250 p., 20 illus., Hardcover
PRICE: / approx. $135.00
AVAILABLE (US): / March 2009
Ambient Intelligence is a vision of the future where the world will be surrounded by electronic environments sensitive and responsive to people, wherein devices work in concert to support people in carrying out their everyday life activities, in an easy and natural way. This edited volume is based on the workshop Multimedia Techniques for Ambient Intelligence (MTDAI08), held in MoglianoVeneto, Italy in March 2008. Contributed by world renowned leaders in the field from academia and industry, this volume is dedicated to research on technologies used to improve the intelligence capability of multimedia devices for imaging, image processing and computer vision. Focuses on recent developments in digital signal processing, including evolutions in audiovisual signal processing, analysis, coding and authentication, and retrieval techniques.
SELLING POINTS:

• Will stimulate research and create interdisciplinary collaboration links which allow the exploration of new frontiers in ambient and device intelligence
• Covers the technologies used to improve the intelligence capability of multimedia devices for imaging, image processing and computer vision

MARKET: / Researchers and professionals in industry; secondary text for students in computer science and electrical engineering
SUBJECTS: / Computer Imaging, Graphics and Computer Vision; Signal Processing; Multimedia Information Systems
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Furht, Video and Image Processing in Multimedia Systems (978-0-7923-9604-8, 1995, $244.00) Weber, Ambient Intelligence (978-3-540-23867-6, 2005, $229.00)
COMPETITION:
Guan, Multimedia and Image Video Processing (CRC Press, 978-0849334924, 2000, $129.95)
Vasilakos, Ambient Intelligence, Wireless Networking, And Ubiquitous Computing (Artech House,978-1580539630, 2006, $149.00)

Computer Science

High Assurance Services Computing

EDITORS: / Jing Dong, University of Texas at Dallas, TX, USA; Raymond Paul, Deptartment of Defense, Washington, DC, USA and Liang-Jie Zhang, IBM Research, Hawthorne, NY, USA
ISBN-13: / 978-0-387-87657-3
PAGES/ILLUS: / approx. 300 p., 20 illus., Hardcover
PRICE: / approx. $125.00
AVAILABLE (US): / March 2009
Service computing is a cutting-edge area that is very popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Service Computing captures and makes the most recent practical developments in service-oriented high-assurance systems accessible. High Assurance Services Computing, an edited volume, contributed by well-established researchers in this field world-wide, will report the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems.
SELLING POINTS:

• Covers service-oriented technologies in different domains including high assurance systems
• Assistssoftware engineers from industry and government laboratories who develop mission-critical software, and provides academia with a practitioner's outlookon the problems of high-assurance software development simultaneously

MARKET: / Practioners and researchers; secondary: graduate-level students in computer science and engineering
SUBJECTS: / Software Engineering/Programming and Operating Systems; Performance and Reliability; Processor Architectures
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Hefley, Service Science: Management and Engineering (978-0-387-76577-8, 2008, $129.00)
Stauss, Services Sciences Fundamentals: Challenges and Future Developments (978-3-540-74487-0, 2007, $59.95)
COMPETITION:
Schwalbe, Information Technology Project Management (Course Technology, 978-0324665215, 2008, $87.95)
Turban, Information Technology for Management (Wiley, 978-0471787129, 2007, $163.75)

Computer Science

Object Relationship Notation (ORN) for Database Applications

AUTHOR: / Bryon K. Ehlmann, Southern Illinois Univ, Edwardsville, IL, USA
ISBN-13: / 978-0-387-09553-0
PAGES/ILLUS: / approx. 230 p., 20 illus., Hardcover
PRICE: / approx. $125.00
AVAILABLE (US): / March 2009
Conceptually, a database consists of objectsand relationships. Object Relationship Notation (ORN)is a simple notation that more precisely defines relationships by combining UML multiplicities with uniquely defined referential actions.Object Relationship Notation (ORN) for Database Applications shows how ORN can be used in UML class diagrams& database definition languages (DDLs) to better model& implement relationships& thus more productively develop database applications. For the database developer, it presents many examples of relationships modeled using ORN-extended class diagrams & shows how these relationships are easily mapped to an ORN-extended SQL or Object DDL.
SELLING POINTS:

• Provides unique association patterns that help make database modeling easier and more exact
• Provides a unique notation, ORN, that closes the gap between database modeling and definition, thus improving database development productivity
• Providesdatabase management systemdevelopers with specifications and algorithms needed to implement ORN

MARKET: / Researchers and professionals;and as a secondary text for advanced-level students in computer science
SUBJECTS: / Database Management; ; Information Storage and Retrieval
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Gray, The Functional Approach to Data Management (978-3-540-00375-5, 2003, $135.00) Chomicki, Logics for Emerging Applications of Databases (978-3-540-00705-0, 2003, $115.00)
COMPETITION:
Date, Databases, Types and the Relational Model (Addison Wesley, 978-0321399427, 2006, $103.60)
Snodgrass, Developing Time-Oriented Database Applications in SQL (978-1558604360, Morgan Kaufman, 1999, $154.00)

Computer Science

Semantic Business Process Management

EDITORS: / Martin Hepp, University of Innsbruck, Austria; John Domingue, The Open University, Milton Keynes, UK and Alistair Barros, SAP Research Brisbane, Australia
ISBN-13: / 978-0-387-79873-8
PAGES/ILLUS: / approx. 300 p., 20 illus., Hardcover
PRICE: / approx. $125.00
AVAILABLE (US): / March 2009
Semantic Business Process Management serves three main goals:(1) providing an up-to-date, scientifically correct, concise and self-contained reference on SBPM, covering relevant tasks, practical and theoretical challenges andlimitations, methodologies, and available tooling support; (2)integrating the conceptual and technical challenges of using ontologies for managing business process spaces, with a business view on using ontologies, by stressing the cost dimension of ontology engineering and by providing guidance on how to derive ontologies semi-automatically from existing standards and specifications; and (3) disseminating experiences, lessons learned, and best practices on SBPM from a number of application domains.
SELLING POINTS:

• Features contributions authored and edited by leading international experts in the field
• Ideal reference for practitioners searching for a concise handbook on using ontologies for business management in real-world applications
• Includes case studies, lessons learned and best practices

MARKET: / Graduate level-students and researchers in computer science, and industry practitioners
SUBJECTS: / Information Systems Applications (incl.Internet); Information Systems and Communication Service;
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Maedche, Ontology Learning for the Semantic Web (978-0-7923-7656-9, 2002, $109.00)
Cardosa, Semantic Web Services, Processes and Applications (978-0-387-30239-3, 2006, $109.00)
COMPETITION:
Davies, Towards the Semantic Web (Wiley, 978-0470848678, 2003, $110.00)
Davies, Semantic Web Technologies (Wiley,978-0470025963, 2006, $130.00)

Computer Science

Distributed Intelligent Systems

A Coordination Perspective

AUTHORS: / Ranjeev Mittu, US Naval Research Lab, Washington, DC, USA; A. Bedrouni, Laval University, Sante-Foy, Canada; A. Boukhtouta, Defence R&D, Canada and Jean Berger, Defence R&D, Canada
ISBN-13: / 978-0-387-77701-6
PAGES/ILLUS: / approx. 200 p., 20 illus., Hardcover
PRICE: / approx. $125.00
AVAILABLE (US): / March 2009
"Distributed Intelligent Systems: A Coordination Perspective" addresses and comprehensively answers commonly asked questions about coordination in agent-oriented distributed systems. This edited volume, contributed to by world-class leaders in this field, dedicates itself to providing a state-of-the-art review of current coordination, strategies protocols and mechanisms. Based on current practical deployed applications and future opportunities, this book also identifies and thoroughly examines trends, challenges, and future agent-oriented research directions.
SELLING POINTS:

• Unveils the lack of coherence and order that characterizes the area of research pertaining to coordination of distributed intelligent systems
• Provides specific recommendations to realize more widespread deployment of agent-based systems

MARKET: / Professionals, researchers and students
SUBJECTS: / Artificial Intelligence (incl. Robotics); Computer Communication Networks; Operating Systems
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Scerri, Coordination of Large Scale Multiagent Systems (978-0-387-26193-5, 2005, $109.00) Garg, Principles of Distributed Systems (978-0-7923-9668-0, 1995, $199.00)
COMPETITION:
Woolridge Introduction to Multiagent Systems (John Wiley & Sons, 9780471496915, 2001, $75.00)
Rao, Integrated Distributed Intelligent Systems for Engineering Design (Taylor and Francis, 978-9056995102, 1996, $79.95)

Computer Science

Security and Dependability for Ambient Intelligence

EDITORS: / George Spanoudakis, City University, London, UK; Antonio Mana Gomez, University of Malaga, Spain and Kokolakis Spyros, University of the Aegean, Karlovassi, Greece
ISBN-13: / 978-0-387-88774-6
PAGES/ILLUS: / approx. 325 p., 20 illus., Hardcover
PRICE: / approx. $139.00
AVAILABLE (US): / March 2009
Security and Dependability for Ambient Intelligence is the primary publication for the SERENITY approach, which provides security and dependability (S&D) solutions for dynamic, highly distributed,heterogeneous systems. This book covers the foundations of ambient systems, the problems their highly dynamic and heterogeneous nature poses to security and dependability, andsolutions.Designed for researchers and practitioners focusing on the dynamic integration, deployment and verification of security solutions in highly distributed systems incorporating ambient intelligence features.
SELLING POINTS:

• Includes case studies demonstrating recognition of the SERENITY approach in specific types of systems
• Covers adaptation of security and dependability solutions as part of ambient intelligence, while existing books on security patterns focus primarily on use of patterns in system development

MARKET: / Researchers and practitioners; secondary: reference or secondary text book for graduate-level students
SUBJECTS: / Computer Communication Networks; Operating Systems
LOCATION IN BOOKSTORE: / Computer Science
RELATED TITLES:
Marchette, Computer Intrusion Detection and Network Monitoring (978-0-387-95281-9, 2001, $94.00)
Zhou, Distributed Network Systems (978-0-387-23839-5, 2005 $149.00)
COMPETITION:
Xiao, Security in Distributed and Networking Systems (World Scientific Publishing Company,978-9812708076, 2007, $98.00)
Vasilakos, Ambient Intelligence, Wireless Networking, And Ubiquitous Computing (Artech House, 978-1580539630, 2006, $149.00)

Engineering

Micro Electro Mechanical Systems

A Design Approach

AUTHOR: / Kanakasabapathi Subramanian, General Electric, Niskayuna, New York, USA
ISBN-13: / 978-0-387-32476-0
PAGES/ILLUS: / approx. 400 p., Hardcover
PRICE: / approx. $129.00
AVAILABLE (US): / March 2009
One of the biggest challenges facing engineers involved in MEMs research, development, and manufacturing is identifying a structured MEMS design methodology. Existing MEMS design literature has placed a significant emphasis on the modeling aspect of design. There is need for a book that describes a design "methodology" for MEMS. This book builds on the extensive body of literature that already exists on analytical and numerical multi-Physics "modeling" and provides a structured approach to microsystem design.
SELLING POINTS:

• Introduces and explains a formal Six Sigma design methodology that is currently absent from MEMS literature
• Discusses methodologies that keep process, package, test and characterization, product, and market in mind
• Includes case studies and example design problems addressed using Six Sigma techniques

MARKET: / Engineering professionals, academics and researchers involved in the manufacturing, development and design of Micro-Electro-Mechanical Systems (MEMS), students studying MEMS and/or Six Sigma
SUBJECTS: / Mechanical Engineering; Circuits and Systems; Electronics and Microelectronics, Instrumentation
LOCATION IN BOOKSTORE: / Engineering
RELATED TITLES:
Senturia, Microsystem Design (978-0-7923-7246-2, 2000, $104.00)
Korvink, MEMS: A Practical Guide of Design, Analysis, and Applications (3-540-21117-9, 2006, $389.00)
COMPETITION:
Allen, Micro Electro Mechanical System Design (CRC,978-0824758240, 2005,$159.95)
Motamedi, MOEMS: Micro-Opto-Electro-Mechanical Systems (SPIE Publications, 978-0819450210, 2005, $113.00)

Engineering