DASC C

21 papers

YearTitle / Authors
2007A Byzantine Fault Tolerant Distributed Commit Protocol.
Wenbing Zhao
2007A Coarse-Grained Pessimistic Message Logging Scheme for Improving Rollback Recovery Efficiency.
Jinmin Yang, Kin Fun Li, Dafang Zhang, Jing Cheng
2007An Inference-based Collaborative Filtering Approach.
Jinmin Yang, Kin Fun Li
2007Building a Self-Healing Operating System.
Francis M. David, Roy H. Campbell
2007Byzantine Fault Tolerance for Nondeterministic Applications.
Wenbing Zhao
2007Challenges and Best Practices in Policy-Based Autonomic Architectures.
Radu Calinescu
2007Compiler-Directed Region-Based Security for Low-Overhead Software Protection.
Vijay Kongubangaram, Olga Gelbart, Rahul Simha, Bhagirath Narahari
2007Employing Expert Opinion and Software Metrics for Reasoning About Software.
Norita B. Ahmad, Phillip A. Laplante
2007FileWall: A Firewall for Network File Systems.
Stephen Smaldone, Aniruddha Bohra, Liviu Iftode
2007How to Update Dependable Secure Computing Systems from a Survivability Assessment Perspective?
Li Bai, Saroj K. Biswas, Musoke H. Sendaula
2007Hybrid Trust Information Exchange for Federated Systems.
Zhengping Wu, Alfred C. Weaver
2007Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis.
Prashanthi Boddu, Liudong Xing
2007MBDD versus MMDD for Multistate Systems Analysis.
Akhilesh Shrestha, Liudong Xing, Yuanshun Dai
2007On TCP Performance in Flow-Based Mix Networks.
Xinwen Fu, Shu Jiang, Wei Yu, Steve Graham, Yong Guan
2007Performance Analysis of CORBA Replication Models.
Swapna S. Gokhale, B. Dasarathy
2007Secure Multipath Routing Scheme for Mobile Ad Hoc Network.
Binod Vaidya, Jae-Young Pyun, Jong-An Park, Seung Jo Han
2007Self-Configuration Techniques for MuniSocket.
Nader Mohamed, Jameela Al-Jaroodi
2007Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2007, Columbia, MD, USA, September 25-26, 2007
2007Towards a Proactive Fraud Management Framework for Financial Data Streams.
Michael Edward Edge, Pedro R. Falcone Sampaio, Mohammed Choudhary
2007Using Atoms to Simplify Distributed Programs Checking.
Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami
2007iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support.
Lin Tan, Ellick Chan, Reza Farivar, Nevedita Mallick, Jeffrey C. Carlyle, Francis M. David, Roy H. Campbell