Sciweavers

HASE
2007
IEEE
13 years 11 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
HASE
2007
IEEE
13 years 11 months ago
A Fault Taxonomy for Service-Oriented Architecture
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
Stefan Brüning, Stephan Weißleder, Miro...
HASE
2007
IEEE
13 years 11 months ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach
HASE
2007
IEEE
13 years 11 months ago
Flexible Authorization with Decentralized Access Control Model for Grid Computing
Xinwen Zhang, Qi Li, Jean-Pierre Seifert, Mingwei ...
HASE
2007
IEEE
13 years 11 months ago
Design of a Fairness Guarantee Mechanism Based on Network Measurement
In this paper we discuss the problem of network fairness. Traditional network fairness focuses on treating uneven resource (such as bandwidth) allocation in TCP congestion control...
Xin Wang, Xiaochen Zhang, Shuang Yang, Xiangyang X...
HASE
2007
IEEE
13 years 11 months ago
Parsimonious Classifiers for Software Quality Assessment
—Modeling  to  predict fault­proneness of software modules is an important area  of research in software engineering. Most such models employ a large number ...
Miyoung Shin, Sunida Ratanothayanon, Amrit L. Goel...
HASE
2007
IEEE
13 years 11 months ago
High-Assurance Distributed, Adaptive Software for Dynamic Systems
Kurt Rohloff, Joseph P. Loyall, Partha Pratim Pal,...
HASE
2007
IEEE
13 years 11 months ago
Systems Architectures for Transactional Network Interface
Systems such as software transactional memory and some exception handling techniques use transactions. However, a typical limitation of such systems is that they do not allow syst...
Manish Marwah, Shivakant Mishra, Christof Fetzer
HASE
2007
IEEE
13 years 11 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung