Topics

• models and formal verification

• programming paradigms and tools

• resource discovery and management

• task and communication scheduling

• performance management

• heterogeneous cluster computing

• grid computing

• mobile agent systems

• peer-to-peer computing

• adaptive computing

• ubiquitous computing

• mobile computing

• web distributed computing

• real-time distributed systems

• security

• fault tolerance

• application case studies