Learn IT - Springer

Information Security Applications: 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

Springer, 2007

This book constitutes the refereed proceedings of the 7th International Workshop on Information Security Applications, WISA 2006, held in Jeju Island, Korea in August 2006.

The 30 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 146 submissions. The papers are organized in topical...

STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Springer, 2007

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007.

The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of...

High Performance Computing on Vector Systems 2006: Proceedings of the High Performance Computing Center Stuttgart, March 2006

Springer, 2007

The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in high performance application software development in general and specifically for parallel vector architectures. The contributions cover among others the field of computational fluid dynamics, physics,...

Advanced Quantum Mechanics

Springer, 2008

Advanced Quantum Mechanics, the second volume on quantum mechanics by Franz Schwabl, discusses nonrelativistic multi-particle systems, relativistic wave equations and relativistic quantum fields. Characteristic of the author´s work are the comprehensive mathematical discussions in which all intermediate steps are derived and where numerous...

Introduction to Video Search Engines

Springer, 2008

Video search engines enable users to take advantage of constantly growing video resources like, for example, video on demand, Internet television and YouTube, for a wide variety of applications including entertainment, education and communications.

David Gibbon and Zhu Liu describe the current state of video search engine technology and inform...

Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism

Springer, 1995

Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults. Fault-tolerance and real-time requirements thus constitute a...

The Engineering of Complex Real-Time Computer Control Systems

Springer, 1996

The complexity of current computer control systems arises from the engineering requirement to integrate computers, actuators and sensors for control, signal processing and data networks, visualisation and display with the technology of the application domain. Further, real-time control systems, employing embedded and distributed computing, as...

Encyclopedia of Optimization

Springer, 2008

The goal of the Encyclopedia of Optimization is to introduce the reader to a complete set of topics that show the spectrum of research, the richness of ideas, and the breadth of applications that has come from this field.

In 2000, the first edition was widely acclaimed and received high praise. J.B. Rosen crowned it “an indepensible...

Informatics in Control, Automation and Robotics II

Springer, 2007

Informatics in Control, Automation and Robotics II is a collection of the best papers presented at the 2nd International Conference on Informatics in Control, Automation and Robotics (ICINCO). The purpose of ICINCO was to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and...

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03

Springer, 1996

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving...

Functional Verification Coverage Measurement and Analysis (Information Technology: Transmission, Processing and Storage)

Springer, 2004

Functional Verification Coverage Measurement and Analysis addresses the subject of coverage measurement and analysis, a means of quantitatively assessing functional verification progress. In the absence of this process, design verification engineers (and their management) are left guessing whether or not they have completed...

Service-Oriented Computing: Agents, Semantics, and Engineering: AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings

Springer, 2007

This book constitutes the refereed proceedings of the International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering, SOCASE 2007, held in Honolulu, HI, USA as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems. The volume is rounded off with selected four best...

Result Page: 390 389 388 387 386 385 384 383 382 381 380 379 378 377 376 375 374 373 372