TY - BOOK ID - 14303083 TI - Reliable and autonomous computational science : international conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 AU - Shin, Sung Y. AU - International Conference on Reliable and Autonomous Computational Science PY - 2011 SN - 3034800304 9786613074744 3034800312 1283074745 PB - New York : Springer, DB - UniCat KW - Information Technology KW - Software Engineering KW - Computational complexity. KW - Computational complexity--Congresses. KW - Computational intelligence--Congresses. KW - Intelligent agents (Computer software)--Congresses. KW - Computational complexity KW - Computational intelligence KW - Intelligent agents (Computer software) KW - Engineering & Applied Sciences KW - Mathematics KW - Physical Sciences & Mathematics KW - Algebra KW - Computer Science KW - Computer science. KW - Software engineering. KW - Data structures (Computer science). KW - Computers. KW - Computer Science. KW - Theory of Computation. KW - Data Structures. KW - Software Engineering. KW - Information theory. KW - Data structures (Computer scienc. KW - Computer software engineering KW - Engineering KW - Communication theory KW - Communication KW - Cybernetics KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - Electronic data processing KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Machine theory KW - Calculators KW - Cyberspace UR - https://www.unicat.be/uniCat?func=search&query=sysid:14303083 AB - Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. At the same time, the issues of autonomous computing become more critical as we more and more rely on software systems in our daily life. Such complexity is getting even more critical with the ubiquitous computing of embedded devices and other pervasive systems. These trends ask for techniques and tools for developing reliable and autonomous software which can support software engineers in their efforts. This book summarizes the state of the art of research in the diverse fields concerned, including novel designs, case studies and experimental as well as theoretical results. ER -