|
Showing 1 - 3 of
3 matches in All Departments
This book treats the computational use of social concepts as the
focal point for the realisation of a novel class of socio-technical
systems, comprising smart grids, public display environments, and
grid computing. These systems are composed of technical and human
constituents that interact with each other in an open environment.
Heterogeneity, large scale, and uncertainty in the behaviour of the
constituents and the environment are the rule rather than the
exception. Ensuring the trustworthiness of such systems allows
their technical constituents to interact with each other in a
reliable, secure, and predictable way while their human users are
able to understand and control them. "Trustworthy Open
Self-Organising Systems" contains a wealth of knowledge, from
trustworthy self-organisation mechanisms, to trust models, methods
to measure a user's trust in a system, a discussion of social
concepts beyond trust, and insights into the impact open
self-organising systems will have on society.
ThisvolumecontainstheproceedingsofATC2009, the6thInternationalConf-
ence on Autonomic and Trusted Computing: Bringing Safe, Self-x and
Organic Computing Systems into Reality. The conference was held in
Brisbane, A- tralia, during July 7-9, 2009. The conference was
technically co-sponsored by the IEEE and the IEEE Computer Society
Technical Committee on Scalable Computing. ATC 2009 was accompanied
by three workshops on a variety of research challenges within the
area of autonomic and trusted computing. ATC 2009 is a successor of
the First International Workshop on Trusted and Autonomic
Ubiquitous and Embedded Systems (TAUES 2005, Japan), the
International Workshop on Trusted and Autonomic Computing Systems
(TACS 2006, Austria), the Third International Conference on
Autonomic and Trusted Computing (ATC 2006, China), the 4th
International Conference on Autonomic and Trusted Computing (ATC
2007, Hong Kong), and the 5th International Conference on Autonomic
and Trusted Computing (ATC 2008, Norway) Computing systems
including hardware, software, communication and n-
worksaregrowingdramaticallyinbothscale andheterogeneity, becoming
overly complex. Such complexity is getting even more critical with
the ubiquitous permeation of embedded devices and other pervasive
systems. To cope with the growing and ubiquitous complexity,
autonomic computing focuses on se- manageable computing and
communication systems that exhibit self-awareness,
self-con?guration, self-optimization, self-healing, self-protection
and other self-x operationsto the maximumextent possible without
humaninterventionorgu- ance.
Organiccomputingadditionallyemphasizesnatural-analogueconceptslike
self-organization and controlled emergence. Any autonomic or
organic system must be trustworthy to avoid the risk of losing
control and to retain con?dence that the system will not fa
This volume is a documentation of the main results in the research
area "In- gration of Software Speci?cation Techniques for
Applications in Engineering." On one hand it is based on the
Priority Program "Integration von Techniken der
Softwarespezi?kation fur ] ingenieurwissenschaftliche Anwendungen,"
short Soft- Spez, oftheGermanResearchCouncil(DFG).
Ontheotherhanditcontainsnew contributions of international experts
in this research area, some of which were presented at the third
international workshop INT 2004 on "Integration of Sp- i?cation
Techniques for Applications in Engineering." INT 2004 was launched
as a satellite event of ETAPS in Barcelona, the "European Joint
Conferences on Theory and Practice of Software." The Priority
Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H.
J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects
from computer science, and by E. Schnieder and E. Westk] amper
concerning two main application areas in engineering, namely "Tra?c
Control Systems" and "Production Automation." After acceptance of
SoftSpez by the German Research Council for the period of 1998-2004
a call for speci?c projects within this priority program was
launched, where 11 projects from about 75 project proposals were
accepted for a period of two years. Since 1998 each year the main
research proposals and results of the projects have been presented
at an annual colloquium of the priority program, and every two
years the projects have been evaluated by an independent group of
referees appointed by the G- man Research Council. At this point we
would like to thank A."
|
You may like...
Not available
|