Sciweavers

QSIC
2005
IEEE
14 years 5 months ago
Interactive Visualisation and Testing of Jini Services
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...
Bruce Quig, Michael Kölling, John Rosenberg, ...
QSIC
2005
IEEE
14 years 5 months ago
Tool Support for Agent Development using the Prometheus Methodology
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
Lin Padgham, John Thangarajah, Michael Winikoff
QSIC
2005
IEEE
14 years 5 months ago
A System to Mark Programs Automatically
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
Ken Ngo-Pham, John Bigham, Julian Rodaway, Lauriss...
QSIC
2005
IEEE
14 years 5 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
QSIC
2005
IEEE
14 years 5 months ago
Replication for Adaptive Responsiveness in Service-Oriented Systems
A major advantage of Service-Oriented Architecture (SOA) is the ability to enable rapid formation of large-scale distributed systems. A dominant factor for the success of service-...
Stephen S. Yau, Gaurav Goyal, Yisheng Yao
QSIC
2005
IEEE
14 years 5 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
QSIC
2005
IEEE
14 years 5 months ago
Test Case Generation by OCL Mutation and Constraint Solving
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
Bernhard K. Aichernig, Percy Antonio Pari Salas
QSIC
2005
IEEE
14 years 5 months ago
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies
Service workflow management which consolidates multiple services to achieve business goals has become a critical issue in service-oriented computing. Due to the unique feature of ...
Jun Yan, Yun Yang, Ryszard Kowalczyk, Xuan Thang N...
QSIC
2005
IEEE
14 years 5 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata