Sciweavers

COMPSAC
2002
IEEE
13 years 9 months ago
Distributed Agent Architecture for Port Automation
In the near future, container ports will no longer be able to expand into the surrounding land and will thus be unable to meet the storage requirements due to the boom in world tr...
Tom Thurston, Huosheng Hu
COMPSAC
2002
IEEE
13 years 9 months ago
A File Naming Scheme Using Hierarchical-Keywords
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...
Harumasa Tada, Osamu Honda, Masahiro Higuchi
COMPSAC
2002
IEEE
13 years 9 months ago
Requirements Driven Quality Control
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
Stanislaw Szejko
COMPSAC
2002
IEEE
13 years 9 months ago
Achieving Scalability in Hierarchical Location Services
Services for locating mobile objects are often organized as a distributed search tree. The advantage of such an organization is that the service can easily scale as a distributed ...
Maarten van Steen, Gerco Ballintijn
COMPSAC
2002
IEEE
13 years 9 months ago
Concurrency Control with Java and Relational Databases
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...
Sérgio Soares, Paulo Borba
COMPSAC
2002
IEEE
13 years 9 months ago
Using XML to Integrate Existing Software Systems into the Web
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
Harry M. Sneed
COMPSAC
2002
IEEE
13 years 9 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
COMPSAC
2002
IEEE
13 years 9 months ago
A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
Frederick V. Ramsey, James J. Alpigini
COMPSAC
2002
IEEE
13 years 9 months ago
Temporal Modeling of Software Test Coverage
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
COMPSAC
2002
IEEE
13 years 9 months ago
Process Diagnostics
V. S. Phanindra, Mala Murugappan, Gargi Keeni