Program Schedule of DASC'07
25-26, September, 2007


Sep 25

8:50-9:00am Welcome Address

9:00-10:00am Keynote Speaker

10:00-10:30am Coffee Break

10:30-12:00am Session 1

12:00-1:00pm Lunch time

1:00-3:00pm Session 2

3:00-3:30pm Coffee Break

3:30-5:30pm Session 3

6:00-8:00pm Reception

-------------------
Sep 26

9:00-10:00am Panel Discussion

10:00-10:30am Coffee Break

10:30-12:30am Session 4

12:30-1:30pm Lunch time

1:30-3:30pm Session 5

3:30-4:00pm Coffee Break

4:00-6:00pm Session 6

------------------------------------------------


Detailed information of sessions

Session 1: Self-*
(019) Building a Self-Healing Operating System
(015) Self-Configuration Techniques for MuniSocket
(009) Non-Intrusive Self-Properties Approaches for QoS in Complex Computer Systems


Session 2: Dependability
(002) MBDD versus MMDD for Multistate Systems Analysis
(023) Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis
(001) A Coarse-Grained Pessimistic Message Logging Scheme for Improving Roll-back Recovery Efficiency
(005) A Byzantine Fault Tolerant Distributed Commit Protocol


Session 3: Security
(008) A Reputation System based on Computing with Words
(028) Compiler-Directed Region-Based Security for Low-Overhead Software Protection
(010) Towards a Proactive Fraud Management Framework for Financial Data Streams
(027) SPIN- Enabling Secure and Pervasive Inter-home Networking


Session 4: Autonomic Computing Systems
(018) Challenges and Best Practices in Policy-Based Autonomic Architectures
(026) Using Atoms to Simplify Distributed Programs Checking
(021) An Inference-based Collaborative Filtering Approach
(020) FileWall: A Firewall for Network File Systems

Session 5: Performance and Reliability
(022) How to Update Dependable Secure Computing System from a Survivability Assessment Perspective?
(016) Performance Analysis of CORBA Replication Models
(006) Byzantine Fault Tolerance for Nondeterministic Applications
(014) On TCP Performance in Flow-Based Mix Networks


Session 6: Self-Improvement based on Software and Hardware
(024) Employing Expert Opinion and Software Metrics for Reasoning About Software
(025) Hybrid Trust Information Exchange for Federated Systems
(030) iKernel: Isolating Kernel from Buggy and Malicious Device Drivers Using Hardware Virtualization Support
(013) Secure Multipath Routing Scheme for Mobile Ad Hoc Network