Topics

• algorithms, models and formal verification

• software agents and multi-agent systems

• programming paradigms and tools

• resource discovery and management

• task and communication scheduling

• performance management

• cluster, grid and heterogeneous computing

• mobile and ubiquitous computing and systems

• parallel, distributed and mobile databases

• peer-to-peer and web computing and services

• adaptive computing

• web distributed computing

• real-time distributed systems

• security

• fault tolerance

• scientific computing and large-scale simulations

• applications and case studies