Sciweavers

1012 search results - page 20 / 203
» Identification of System Software Components Using Clusterin...
Sort
View
EUROMICRO
2004
IEEE
13 years 11 months ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
JCP
2006
106views more  JCP 2006»
13 years 7 months ago
Using Firewalls to Enforce Enterprise-wide Policies over Standard Client-Server Interactions
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
Tuan Phan, Zhijun He, Thu D. Nguyen
IEE
2010
136views more  IEE 2010»
13 years 6 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
AC
1999
Springer
14 years 1 days ago
The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General P
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...
Mark C. Little, Stuart M. Wheater, David B. Ingham...
COMPSAC
2002
IEEE
14 years 21 days ago
An Architecture-Based Approach for Component-Oriented Development
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
Feng Chen, Qianxiang Wang, Hong Mei, Fuqing Yang