Sciweavers

CSMR
2005
IEEE
14 years 1 months ago
OOMeter: A Software Quality Assurance Tool
Jarallah AlGhamdi, Raimi A. Rufai, Sohel M. Khan
CSMR
2005
IEEE
14 years 1 months ago
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
Raihan Al-Ekram, Kostas Kontogiannis
CSMR
2005
IEEE
14 years 1 months ago
Maintenance and Analysis of Visual Programs -- An Industrial Case
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
Mika Karaila, Tarja Systä
COMPSAC
2005
IEEE
14 years 1 months ago
Empirical Validation of Website Timeliness Measures
Information timeliness is crucial for media-based websites. Although a couple of timeliness design strategies have been developed, timeliness measurement is still in its infancy. ...
Yanlong Zhang, Hong Zhu, Sue Greenwood
COMPSAC
2005
IEEE
14 years 1 months ago
Situation-Awareness for Adaptive Coordination in Service-Based Systems
Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland ...
Stephen S. Yau, Dazhi Huang, Haishan Gong, Hasan D...
COMPSAC
2005
IEEE
14 years 1 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
COMPSAC
2005
IEEE
14 years 1 months ago
A Probabilistic Approach to the Anxious Home for Activity Monitoring
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
Geoff A. W. West, Stewart Greenhill, Svetha Venkat...
COMPSAC
2005
IEEE
14 years 1 months ago
Agent Oriented Programming Based on SLABS
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
Ji Wang, Rui Shen, Hong Zhu
COMPSAC
2005
IEEE
14 years 1 months ago
Constraint Violation Detection: A Fundamental Part of Software Cybernetics
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
Qianxiang Wang
COMPSAC
2005
IEEE
14 years 1 months ago
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. M...