Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

The world of data warehousing has changed remarkably since the first edition of The Data Warehouse Lifecycle Toolkit was published in 1998. In that time, the data warehouse industry has reached full maturity and acceptance, hardware and software have made staggering advances, and the techniques promoted in the premiere edition of this book have been adopted by nearly all data warehouse vendors and practitioners. In addition, the term "business...

This book constitutes the refereed proceedings of the EUC 2007 workshops held in conjunction with the IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2007, in Taipei, Taiwan, in December 2007. The 69 revised full papers presented together with four invited papers were carefully reviewed and selected from about 200 submissions to the seven workshops. A broad range of topics are covered.

This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guadeloupe, French West Indies, in December 2007. The 32 revised full papers presented were carefully reviewed and selected from 106 submissions. The papers address all current issues in theory, specification, design and implementation of distributed and embedded systems. A broad range of topics are addressed.

This book presents the revised tutorial lectures given at the International Summer School on Nonlinear Speech Processing-Algorithms and Analysis held in Vietri sul Mare, Salerno, Italy in September 2004.

The 14 revised tutorial lectures by leading international researchers are organized in topical sections on dealing with nonlinearities in speech signals, acoustic-to-articulatory modeling of speech phenomena, data driven and speech processing algorithms, and algorithms and models based on speech perception mechanisms. Besides the tutorial lectures, 15 revised reviewed papers are included...

This book constitutes the post-proceedings of the Third International Computer Music Modeling and Retrieval Symposium, CMMR 2005. The 24 revised full papers address a broad variety of topics, organized in topical sections on sound synthesis; music perception and cognition; interactive music: interface, interaction, gestures and sensors, music composition; music retrieval; music performance, music analysis, music representation; as well as interdisciplinarity and computer music.

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.

The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.