Sciweavers

COMPSAC
2003
IEEE
13 years 9 months ago
Incremental Transformation of Procedural Systems to Object Oriented Platforms
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
Ying Zou, Kostas Kontogiannis
COMPSAC
2003
IEEE
13 years 9 months ago
Facilitating Secure Ad hoc Service Discovery in Public Environments
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
Feng Zhu, Matt W. Mutka, Lionel M. Ni
COMPSAC
2003
IEEE
13 years 9 months ago
A Framework for Web-based Research Support Systems
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...
Yiyu Yao
COMPSAC
2003
IEEE
13 years 9 months ago
Data-Flow-Based Unit Testing of Aspect-Oriented Programs
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
Jianjun Zhao
COMPSAC
2003
IEEE
13 years 9 months ago
A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks
Secure group communication in mobile ad hoc networks is often dynamic and impromptu, and thus requires efficient and automated secure group management and seamless combination of ...
Stephen S. Yau, Xinyu Zhang
COMPSAC
2003
IEEE
13 years 9 months ago
Situation-Aware Personalized Information Retrieval for Mobile Internet
Stephen S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao
COMPSAC
2003
IEEE
13 years 9 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
COMPSAC
2003
IEEE
13 years 9 months ago
Tolerance of Control-Flow Testing Criteria
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bo...
COMPSAC
2003
IEEE
13 years 9 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...