![]() |
Workshops & Meetings* Slides |
|
# |
Workshop
Topics |
Link |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Utilization of Formal Methods in Dependable Systems |
|
|
|
Challenges and Directions for Dependable Computing |
|
|
|
Dependability and Survivability |
|
|
|
Middleware for Adaptivity and Dependability |
|
|
|
- Measuring Assurance in Cyberspace |
|
|
45 |
Open Source and Dependability |
|
|
46 |
Human Computer Interaction and Dependability |
|
|
47 |
Autonomic Web Computing |
|
|
48 |
- Grid Computing and Dependability |
|
|
49 |
Dependability in Robotics and Autonomous Systems |
|
|
50 |
Infrastructure Security and Operational Challenges of Service Provider Networks |
|
51 |
|
|
52 |
|
|
53 |
|
|
| 54 |
|
|
| 55 |
|
|
| 56 |
|
|
| 57 |
|