default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd DASC 2007: Columbia, MD, USA
- Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2007, Columbia, MD, USA, September 25-26, 2007. IEEE Computer Society 2007, ISBN 978-0-7695-2985-1
Session 1: Self-*
- Francis M. David, Roy H. Campbell:
Building a Self-Healing Operating System. 3-10 - Nader Mohamed, Jameela Al-Jaroodi:
Self-Configuration Techniques for MuniSocket. 11-20
Session 2: Dependability
- Prashanthi Boddu, Liudong Xing
:
Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis. 21-28 - Jinmin Yang, Kin Fun Li, Dafang Zhang, Jing Cheng:
A Coarse-Grained Pessimistic Message Logging Scheme for Improving Rollback Recovery Efficiency. 29-36 - Wenbing Zhao:
A Byzantine Fault Tolerant Distributed Commit Protocol. 37-46
Session 3: Security
- Vijay Kongubangaram, Olga Gelbart, Rahul Simha, Bhagirath Narahari:
Compiler-Directed Region-Based Security for Low-Overhead Software Protection. 47-54 - Michael Edward Edge, Pedro R. Falcone Sampaio, Mohammed Choudhary:
Towards a Proactive Fraud Management Framework for Financial Data Streams. 55-64
Session 4: Autonomic Computing Systems
- Radu Calinescu:
Challenges and Best Practices in Policy-Based Autonomic Architectures. 65-74 - Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami:
Using Atoms to Simplify Distributed Programs Checking. 75-83 - Jinmin Yang, Kin Fun Li:
An Inference-based Collaborative Filtering Approach. 84-94
Session 5: Performance and Reliability
- Li Bai, Saroj K. Biswas, Musoke H. Sendaula:
How to Update Dependable Secure Computing Systems from a Survivability Assessment Perspective? 95-99 - Swapna S. Gokhale, B. Dasarathy:
Performance Analysis of CORBA Replication Models. 100-107 - Wenbing Zhao:
Byzantine Fault Tolerance for Nondeterministic Applications. 108-118
Session 6: Self-Improvement Based on Software and Hardware
- Norita B. Ahmad, Phillip A. Laplante:
Employing Expert Opinion and Software Metrics for Reasoning About Software. 119-124 - Zhengping Wu, Alfred C. Weaver:
Hybrid Trust Information Exchange for Federated Systems. 125-133 - Lin Tan, Ellick Chan, Reza Farivar, Nevedita Mallick, Jeffrey C. Carlyle, Francis M. David, Roy H. Campbell:
iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support. 134-144
Session 7: Networks and Systems
- Xinwen Fu, Shu Jiang, Wei Yu, Steve Graham, Yong Guan:
On TCP Performance in Flow-Based Mix Networks. 145-152 - Stephen Smaldone, Aniruddha Bohra, Liviu Iftode:
FileWall: A Firewall for Network File Systems. 153-162 - Binod Vaidya, Jae-Young Pyun, Jong-An Park, Seung Jo Han:
Secure Multipath Routing Scheme for Mobile Ad Hoc Network. 163-171 - Akhilesh Shrestha, Liudong Xing, Yuanshun Dai:
MBDD versus MMDD for Multistate Systems Analysis. 172-180
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-28 00:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
