Sifakis joseph (27 Ergebnisse)

hardcover. Zustand: Very Good. Cover and edges may have some wear.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 644.

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Libray label on back. Rubbed and lightly blotchy. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 640.…

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 642.

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed and lightly blotchy. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 644.…

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 646.

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library labels. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 646.

23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed and lightly blotchy. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 642.…

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 171 pages. 9.25x6.10x0.37 inches. In Stock.

Zustand: New. In English.

Zustand: Used Like New. NEW & UNREAD. Light storage marks to the textblock edge. Content as new.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: NEW.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies exclusively on concepts and principles from the theory of computing and logic. It starts with an introduction to knowledge as truthful and useful information, and its development and management by computers and humans. It analyses the relationship between computational processes and physical phenomena, as well as the processes of knowledge production and application by humans and computers.In turn, the book presents autonomous systems that are called upon to replace humans in complex operations as a step toward strong AI, and discusses the risks - real or hypothetical - of the careless use of these systems. It compares human and machine intelligence, attempting to answer the question ofwhether and to what extent computers, as they stand today, can approach human-level situation awareness and decision-making. Lastly, the book explains the functioning of individual consciousness as an autonomous system that manages short- and long-term objectives on the basis of value criteria and accumulated knowledge. It discusses how individual values are shaped in society and the role of institutions in fostering and maintaining a common set of values for strengthening social cohesion.The book differs from books on the philosophy of science in many respects, e.g. by considering knowledge in its multiple facets and degrees of validity and truthfulness. It follows the dualist tradition of logicians, emphasizing the importance of logic and language and considering an abstract concept of information very different from the one used in the physical sciences. From this perspective, it levels some hopefully well-founded criticism at approaches that consider informationand knowledge as nothing more than the emergent properties of physical phenomena.The book strikes a balance between popular books that sidestep fundamental issues and focus on sensationalism, and scientific or philosophical books that are not accessible to non-experts. As such, it is intended for a broad audience interested in the role of knowledge as a driver for change and development, and as a common good whose production and application could shape the future of humanity.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies exclusively on concepts and principles from the theory of computing and logic. It starts with an introduction to knowledge as truthful and useful information, and its development and management by computers and humans. It analyses the relationship between computational processes and physical phenomena, as well as the processes of knowledge production and application by humans and computers.In turn, the book presents autonomous systems that are called upon to replace humans in complex operations as a step toward strong AI, and discusses the risks - real or hypothetical - of the careless use of these systems. It compares human and machine intelligence, attempting to answer the question ofwhether and to what extent computers, as they stand today, can approach human-level situation awareness and decision-making. Lastly, the book explains the functioning of individual consciousness as an autonomous system that manages short- and long-term objectives on the basis of value criteria and accumulated knowledge. It discusses how individual values are shaped in society and the role of institutions in fostering and maintaining a common set of values for strengthening social cohesion.The book differs from books on the philosophy of science in many respects, e.g. by considering knowledge in its multiple facets and degrees of validity and truthfulness. It follows the dualist tradition of logicians, emphasizing the importance of logic and language and considering an abstract concept of information very different from the one used in the physical sciences. From this perspective, it levels some hopefully well-founded criticism at approaches that consider informationand knowledge as nothing more than the emergent properties of physical phenomena.The book strikes a balance between popular books that sidestep fundamental issues and focus on sensationalism, and scientific or philosophical books that are not accessible to non-experts. As such, it is intended for a broad audience interested in the role of knowledge as a driver for change and development, and as a common good whose production and application could shape the future of humanity.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Embedded Systems: Challenges in Specification and Verification.- An Approach to Designing Safe Embedded Software.- Can Behavioral Requirements Be Executed (And Why Would We Want to Do So ).- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.- A Giotto-Based Helicopter Control System.- Principles of Real-Time Programming.- Time-Safety Checking for Embedded Programs.- Compositional Modeling in Metropolis.- Timed Interfaces.- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.- Scalable Applications for Energy-Aware Processors.- Upgrading Embedded Software in the Field: Dependability and Survivability.- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.- JCOD: A Lightweight Modular Compilation Technology for Embedded Java.- Decreasing Memory Overhead in Hard Real-Time Garbage Collection.- Speedup Prediction for Selective Compilation of Embedded Java Programs.- Synchronous Modelling of Asynchronous Systems.- A Protocol for Loosely Time-Triggered Architectures.- Automatic Production of Globally Asynchronous Locally Synchronous Systems.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Toward an Approximation Theory for Computerised Control.- A New Facility for Dynamic Control of Program Execution: DELI.- Design Tools for Application Specific Embedded Processors.- Processor Pipelines and Their Properties for Static WCET Analysis.- ILP-Based Interprocedural Path Analysis.- Enhancing Compiler Techniques for Memory Energy Optimizations.- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.- Physical Programming: Beyond Mere Logic.- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.…

Zustand: New. This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosop.

Taschenbuch. Zustand: Neu. Understanding and Changing the World | From Information to Knowledge and Intelligence | Joseph Sifakis | Taschenbuch | xiii | Englisch | 2023 | Springer | EAN 9789811919985 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies exclusively on concepts and principles from the theory of computing and logic. It starts with an introduction to knowledge as truthful and useful information, and its development and management by computers and humans. It analyses the relationship between computational processes and physical phenomena, as well as the processes of knowledge production and application by humans and computers. In turn, the book presents autonomous systems that are called upon to replace humans in complex operations as a step toward strong AI, and discusses the risks ¿ real or hypothetical ¿ of the careless use of these systems. It compares human and machine intelligence, attempting to answer the question ofwhether and to what extent computers, as they stand today, can approach human-level situation awareness and decision-making. Lastly, the book explains the functioning of individual consciousness as an autonomous system that manages short- and long-term objectives on the basis of value criteria and accumulated knowledge. It discusses how individual values are shaped in society and the role of institutions in fostering and maintaining a common set of values for strengthening social cohesion. The book differs from books on the philosophy of science in many respects, e.g. by considering knowledge in its multiple facets and degrees of validity and truthfulness. It follows the dualist tradition of logicians, emphasizing the importance of logic and language and considering an abstract concept of information very different from the one used in the physical sciences. From this perspective, it levels some hopefully well-founded criticism at approaches that consider informationand knowledge as nothing more than the emergent properties of physical phenomena. The book strikes a balance between popular books that sidestep fundamental issues and focus on sensationalism, and scientific or philosophical books that are not accessible to non-experts. As such, it is intended for a broad audience interested in the role of knowledge as a driver for change and development, and as a common good whose production and application could shape the future of humanity. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right. …

Zustand: gut. 2002. Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491. In deutscher Sprache. pages.