|
# |
Workshop
Topics |
Link |
|
37
|
Time
and Dependability
|
|
|
38
|
Dependability,
Survivability and Integrity in e-commerce
Transactions & Infrastructures
|
|
|
39
|
Dependability
Benchmarking
|
|
|
40
|
Utilization
of Formal Methods in Dependable Systems |
|
|
41
|
Challenges
and Directions for Dependable Computing |
|
|
42
|
Dependability
and Survivability |
|
|
43
|
Middleware
for Adaptivity and Dependability |
|
|
44
|
-
Measuring Assurance in Cyberspace
- Hardware Design and
Dependability |
|
|
45 |
Open
Source and Dependability |
|
|
46 |
Human
Computer Interaction and Dependability |
|
|
47 |
Autonomic
Web Computing |
|
|
48 |
-
Grid Computing and Dependability
- Nomadic Computing and
Dependability |
|
|
49 |
Dependability
in Robotics and Autonomous Systems |
|
|
50 |
Infrastructure
Security and Operational Challenges of Service Provider
Networks |
|
51 |
Critical
Infrastructure Protection
|
|
52 |
Achieving
and Assessing Safety with Computing Systems
|
|
53 |
Dependability of Large-Scale and Dynamic Systems
|
|
| 54 |
Challenges
and Directions in Dependability
|
|
| 55
|
Evaluation
of Dependability and Resiliency
|
|
| 56 |
Experimental
Methods |
|
| 57 |
Dependable
Operating Systems
|
|
| 58 |
Failure
Diagnosis
|
 |
| 59 |
Dependability Issues for a Smarter Planet
|
 |