Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bricks in selected use cases and standardization... Integrated Model of Distributed Systems (Studies in Computational Intelligence)
In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their asynchronous communication. However, most of the... Freedom and Evolution: Hierarchy in Nature, Society and Science
The book begins with familiar designs found all around and inside us (such as the ‘trees’ of river basins, human lungs, blood and city traffic). It then shows how all flow systems
are driven by power from natural engines everywhere, and how they are endlessly shaped because of freedom. Finally, Professor Bejan explains...
|Result Page: 423 422 421 420 419 418 417 416 415 414 413 412 411 410 409 408 407 406 405 |