[ecoop-info] DADS Track at ACM SAC 2010 Call for papers

[Karl M. Goeschka]

CALL FOR PAPERS
===============

+-----------------------------------------------------------------+
| 5th Track on Dependable and Adaptive Distributed Systems (DADS) |
| of the 25th ACM Symposium on Applied Computing (SAC'10)         |
+-----------------------------------------------------------------+

March 22 - 26, 2010
Sierre, Switzerland
http://www.dedisys.org/sac10/
http://www.acm.org/conferences/sac/sac2010/

Accepted papers will be published in the ACM conference proceedings and 
will be included in the ACM digital library.

Important Dates:
Paper submission: September 8, 2009
Author notification: October 19, 2009
Camera-ready copies: November 2, 2009

Authors are invited to submit original work not previously published, nor 
currently submitted elsewhere. Authors submit full papers in pdf format 
using the submission site http://sac.cs.iupui.edu/SAC2010/. Authors are 
allowed up to 8 pages, but with more than 5 pages in the final camera 
ready, there will be a charge of 80USD per extra page.

Call details
============
Dependability is no longer restricted to critical applications, but rather 
becomes a cornerstone of the information society. Dependability clearly is 
a holistic concept: Contributing factors are not only technical, but also 
social, cultural (i.e. corporate culture), psychological (perceived 
dependability), managerial (information management and processes), and 
economical. Fostering learning is a key, and simplicity is generally an 
enabler for dependability.

Unfortunately, heterogeneous, large-scale, and dynamic software systems 
that typically run continuously often tend to become inert, brittle, and 
vulnerable after a while. The key problem is, that the most innovative 
mobile and pervasive systems and applications are the ones that also suffer 
most from a significant decrease in (deterministic) dependability when 
compared to traditional critical systems, where dependability and security 
are fairly well understood as complementary concepts and a variety of 
proven methods and techniques is available today. In accordance with Laprie 
we call this effect the dependability gap, which is widened in front of us 
between demand and supply of dependability, and we can see this trend 
further fueled by an ever increasing cost pressure.

Future systems need to close the dependability gap in face of challenges 
such as cross-organisational heterogeneity, massive scale, and mobility. Of 
course, dependability and adaptiveness can not simply be added to a system 
like a plug-in module. Rather, for databases, services, middleware, and 
software development, application developers need tools, sound 
methodologies, common practices, standards, architectural principles, and 
middleware services, to tackle the inherent complexity and emerging 
behavior of distributed systems and to ensure trustworthy services. 
Therefore, the vision of this track is on the convergence of software 
development tools with middleware, traditional dependability, fault 
tolerance, security, and adaptivity concepts, together with social and 
psychological aspects, to compensate for dependability degradation of 
running software and services.

Topics of interest
==================
* Architectural and infrastructural principles for adaptive and dependable 
distributed systems.
* Adaptivity and dependability in service oriented architectures.
* Trust and dependability as complementary and competing aspects. 
Integration of security and dependability concepts. Balancing and 
negotiation of dependability and security properties.
* Dependability in complex service oriented environments, GRID-computing, 
and P2P-systems. Concertation, orchestration, coordination, and 
context-awareness (context-modeling).
* Middleware support for reunification of network segments and 
reconciliation of divergent replicas. Consideration of alternative 
techniques for dynamic configuration and/or reconfiguration.
* New middleware protocols, that are able to work in a peer-to-peer manner 
in cross-organisational environments and to tackle the challenges of 
massive scale and mobility.
* Data replication strategies, interfaces, and standards. Interaction of 
distributed databases with middleware systems.
* Adaptive, optimistic replication models and protocols.
* Group communication and group membership services in failure scenarios 
with network partitions.
* Other fault tolerance techniques, including transactions and explicit 
control of quality of service properties.
* Autonomous behaviour and self-* properties.
* Partial and probabilistic approaches for replication, group membership, 
and distributed consensus in loosely-coupled and ad-hoc environments to 
improve dependability.
* Support for dependability and adaptiveness in component-based systems 
(e.g. component frameworks, container services, deployment, composition and 
substitution of components, building trusted systems from untrusted 
components).
* Trading of dependability and adaptability with other non-functional 
requirements like integrity (consistency) or performance. Approaches to 
improve the scalability of dependable and adaptive systems.
* Foundations and formal methods (e.g., rigorous development of dependable 
systems, verification and refinement of fault tolerant systems, techniques 
and mechanisms ensuring application level fault tolerance).
* System design, modeling, development and tool support for dependable and 
adaptive systems

Track program co-chairs
===============
Karl M. Göschka (chair)
Svein O. Hallsteinsen
Rui Oliveira
Alexander Romanovsky
Lorenz Froihofer, dads at dedisys.org

Program committee
=================
Enrique Armendariz, Universidad Publica de Navarra (Spain)
Alberto Bartoli, University of Trieste (Italy)
Stefan Beyer, ITI Valencia (Spain)
Rogerio De Lemos, University of Kent (UK)
Frank Eliassen, University of Oslo (Norway)
Pascal Felber, Université de Neuchâtel (Switzerland)
Jacqueline Floch, Sintef (Norway)
Christina Gacek, Newcastle University (UK)
Kurt Geihs, Universität Kassel (Germany)
Holger Giese, Hasso Plattner Institut (Germany)
Mats P. E. Heimdahl, University of Minnesota (USA)
Matti Hiltunen, AT&T Labs (USA)
Geir Horn, SINTEF (Norway)
Marc-Ollivier Killijian, LAAS-CNRS, Toulouse (France)
Mikel Larrea, Euskal Herriko Unibersitatea (Spain)
Marin Litoiu, IBM (Canada)
Jeff Magee, Imperial College London (UK)
István Majzik, Budapest UTE. (Hungary)
Francesc Daniel Muñoz-Escoí, UP Valencia (Spain)
Marta Patino-Martinez, UP Madrid (Spain)
Fernando Pedone, Università della Svizzera Italiana (Switzerland)
Jose Pereira, Universidade do Minho (Portugal)
Calton Pu, Georgia Institute of Technology (USA)
Roland Reichle, Universität Kassel (Germany)
Luís Rodrigues, University of Lisboa (Portugal)
Luigi Romano, University of Naples (Italy)
Giovanni Russello, Create-Net (Italy)
André Schiper, EPFL (Switzerland)
Bradley Schmerl, Carnegie Mellon University (USA)
Dietmar Schreiner, Vienna University of Technology (Austria)
Stefan Tai, Institut für Angewandte Informatik und Formale 
Beschreibungsverfahren - AIFB, Karlsruhe (Germany)
Jan Tretmans, Radboud University Nijmegen (Netherlands)
Sara Tucci Piergiovanni, Università degli Studi di Roma La Sapienza (Italy)
Aad van Moorsel, University of Newcastle (UK)
Paolo Verissimo, University of Lisboa (Portugal)
Roman Vitenberg, University of Oslo (Norway)
Mario Zenha Rela, U. of Coimbra (Portugal)
Uwe Zdun, Vienna University of Technology (Austria)