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

This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.

Dieses Lehrbuch bietet eine umfassende Einfuhrung in Grundlagen und Methoden der Computerlinguistik und stellt die wichtigsten Anwendungsgebiete in der Sprachtechnologie vor. Es richtet sich gleichermassen an Studierende der Computerlinguistik und verwandter Facher mit Bezug zur Verarbeitung naturlicher Sprache wie an Entwickler sprachverarbeitender Systeme.

Fur die dritte Auflage wurden samtliche Kapitel uberarbeitet und aktualisiert sowie zum Teil zu eigenstandigen, neuen Kapiteln zusammengefuhrt. Insbesondere tragt die dritte Auflage der rasanten Entwicklung in der...

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004.

The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs,...

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, and programming languages support and implementation.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus...