By Topic

Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International

Date 28-30 Sept. 2004

Go

Filter Results

Displaying Results 1 - 25 of 67
  • A new e-shopping system using high performance custom computers

    Publication Year: 2004, Page(s):54 - 55 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (207 KB) | HTML iconHTML

    The current e-shopping systems only provide the pictures and price lists of all items for shoppers to browse and make the purchase request through Internet. This kind of shopping is very boring and the shoppers cannot enjoy it. In this project, we propose a new concept of e-shopping that provides customers the perception of physical shopping. The e-shop will be constructed directly from and coexis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rich media retrieval in an Object XML framework: a case study with Flash movies using structural join index hierarchy

    Publication Year: 2004, Page(s):51 - 52 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (251 KB) | HTML iconHTML

    The issue of facilitating efficient access of rich media such as Flash is becoming a seminal research problem. We describe here an on-going approach to addressing Flash movie retrieval. In this approach, an OXF (Object XML for Flash) model is devised to first convert Flash movies into XML format. We then apply structural join index hierarchy (SJIH) indexing technique to enhance the retrieval of OX... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An agent-based framework for testing Web applications

    Publication Year: 2004, Page(s):174 - 177 vol.2
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (239 KB) | HTML iconHTML

    Software testing in general and Web applications testing in particular are knowledge-driven, labor intensive activities, which are best performed by intelligent, autonomous agents. The proposed framework is based on the Belief-Desire-Intention (BDI) model of rational agents and the Unified Modeling Language (UML). We describe how Web applications testing can be modeled and reasoned using the frame... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Web service and geographical information integration

    Publication Year: 2004, Page(s):130 - 133 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (259 KB) | HTML iconHTML

    This work initializes the idea from the basic concept of Web service with regard to the concurrent framework as well as the factual standards for its implementation. The concrete design and implementation of an integration and interoperation platform that aims to solve heterogeneity and online service for geographical information is presented. This platform concentrates on implementation to shield... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Excalibur: a personalized meta search engine

    Publication Year: 2004, Page(s):49 - 50 vol.2
    Cited by:  Papers (2)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (211 KB) | HTML iconHTML

    General purpose Web search engines are becoming ineffective due to the rapid growth and changes in the contents of the World Wide Web. Meta-search engines help a bit by having a better coverage of the WWW. However, users are still overwhelmed by the large amount of irrelevant results returned by a search. A promising approach to tackle the problem is personalized search. Thus the problem of captur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperative and group testing in verification of dynamic composite Web services

    Publication Year: 2004, Page(s):170 - 173 vol.2
    Cited by:  Papers (16)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (243 KB) | HTML iconHTML

    Verifying Web services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a composite service, any component can be dynamically replaced during execution if the component fails. Another challenge is that the testing is time critical because verification must be conducted at runtime and in real time... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data flow analysis and testing of Java Server Pages

    Publication Year: 2004, Page(s):114 - 119 vol.2
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3760 KB) | HTML iconHTML

    Web applications often rely on server-side scripts to handle HTTP requests, to generate dynamic contents, and to interact with other components. The server-side scripts usually mix with HTML statements and are difficult to understand and test. In particular, these scripts do not have any compiling check and could be error-prone. Thus, it becomes critical to test the server-side scripts for ensurin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Linking software process modeling with Markov decision theory

    Publication Year: 2004, Page(s):152 - 155 vol.2
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (295 KB) | HTML iconHTML

    Scheduling is a notoriously difficult task for managers of software projects. The time needed to complete some development activity in a software project is hard to estimate; feedback between activities causes rework and delays. The author presents a dynamic software process model and its formalization as a discrete-time Markov decision process. The model focuses on capturing how the feedback betw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive random testing with CG constraint

    Publication Year: 2004, Page(s):96 - 99 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (279 KB) | HTML iconHTML

    We introduce a C.G. constraint on adaptive random testing (ART) for programs with numerical input. One rationale behind adaptive random testing is to have the test candidates to be as widespread over the input domain as possible. However, the computation may be quite expensive in some cases. The C.G. constraint is introduced to maintain the widespreadness while reducing the computation requirement... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the complexity of finding emerging patterns

    Publication Year: 2004, Page(s):126 - 129 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    Emerging patterns have been studied as a useful type of pattern for the diagnosis and understanding of diseases based on the analysis of gene expression profiles. They are useful for capturing interactions among genes (or other biological entities), for capturing signature patterns for disease subtypes, and deriving potential disease treatment plans, etc. We study the complexity of finding emergin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An intelligent component retrieval system using conversational CBR

    Publication Year: 2004, Page(s):47 - 48 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (213 KB) | HTML iconHTML

    One difficulty in component retrieval comes from users' incapability to well define their queries. In this paper, we propose a conversational component retrieval model (CCRM) to alleviate this difficulty. In CCRM, a knowledge-intensive conversational case-based reasoning method is adopted to infer potential knowledge from current known knowledge, calculate the context-based semantic similarities b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A change impact dependency measure for predicting the maintainability of source code

    Publication Year: 2004, Page(s):22 - 23 vol.2
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB) | HTML iconHTML

    We first articulate the theoretic difficulties with the existing metrics designed for predicting software maintainability. To overcome the difficulties, we propose to measure a purely internal and objective attribute of code, namely change impact dependency, and show how it can be modeled to predict real change impact. The proposed base measure can be further elaborated for evaluating software mai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generic OO architecture language for semantics analysis of OO specification

    Publication Year: 2004, Page(s):8 - 9 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (210 KB) | HTML iconHTML

    Formal specification enables a rigorous analysis and model checking for ensuring the correctness of specification. Formal OO specification methods are of mathematical nature and the semantics of specification is purposely defined such that it is not related to the semantics of code. We propose a new language, which will lay a common semantics ground for both specification and code. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A decision-making model for intelligent agent with internal state

    Publication Year: 2004, Page(s):43 - 44 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (209 KB) | HTML iconHTML

    Russell and Subramanian considered decision-making model of agent as an function, which maps environment sequence or percept to action. This depiction can't represent the effects of internal state of intelligent agent to action selection. Wooldridge considered internal state as basic condition of representing an intelligent agent. But in his decision-making model, action can affect internal state ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating GML support for spatial databases

    Publication Year: 2004, Page(s):74 - 77 vol.2
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (213 KB) | HTML iconHTML

    This work presents a study on Geography Markup Language (GML), the issues that arise from using GML for spatial databases and solutions that have been proposed. We concentrate on three aspects of GML, including storage, parsing, and querying. GML is an XML encoding for storing geographic data. It has been developed by the OpenGIS as a medium for uniform geographic data storage and exchange among d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Online testing of Web-based applications

    Publication Year: 2004, Page(s):166 - 169 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2676 KB) | HTML iconHTML

    Testing of Web-based applications is difficult. Online testing of Web-based applications is more difficult. We argue the motivation of online testing, especially those of Web-based applications. We explain what online testing is, what it concerns, and the difference between online testing and offline testing. We introduce some key problems, such as how to reduce the interference to the normal serv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperative agent approach to quality assurance and testing Web software

    Publication Year: 2004, Page(s):110 - 113 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (230 KB) | HTML iconHTML

    This work applies Lehman's theory of software evolution to analyse the characteristics of Web-based applications and identifies the essences and incidents that cause difficulties in developing high quality Web-based applications. It is argued that they belong to Lehman's E-type systems, hence satisfy Lehman's eight laws of software evolution. The uncertainties underlying the development of Web app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using FMEA for early robustness analysis of Web-based systems

    Publication Year: 2004, Page(s):28 - 29 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (202 KB) | HTML iconHTML

    Time pressure and quality issues are two main challenges facing today's Web development professionals. To achieve quick development of high-quality systems, a lot of methods and techniques have been proposed. A widely recognized strategy in current practice is to emphasize early quality assurance techniques, as the late detection of defects are well known to be expensive and time-consuming. We tak... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mining dynamic interdimension association rules for local-scale weather prediction

    Publication Year: 2004, Page(s):146 - 149 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (286 KB) | HTML iconHTML

    Mining dynamic interdimension association rules for local-scale weather prediction is to discover abnormal weather phenomena changing so that the professional weather forecaster can use these rules to predict some severe weather situations, such as hail storm, thunder storm and so on. A weather analysis is composed of individual analyses of the several meteorological variables. When some of meteor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards optimization of the coverage testing of interactive systems

    Publication Year: 2004, Page(s):18 - 19 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (233 KB) | HTML iconHTML

    This work introduces a model-based approach for minimization of test costs for interactive systems. Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for test case generation and selection to cover the behavioral model of the system under test (SUT). The test case selection on the basis of the established model is ruled by an adequacy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-adaptive software: cybernetic perspective and an application server supported framework

    Publication Year: 2004, Page(s):92 - 95 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (257 KB) | HTML iconHTML

    With emerging areas such as Web services, pervasive computing, wireless sensor networks and so on, self-adaptive software is becoming more and more important and topical. As a new emerging discipline, self-adaptive software has strong background in control theory. This work analyses the similarity between software self-adaptation technologies and control theory, and shows that self-adaptive softwa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model oriented software architecture

    Publication Year: 2004, Page(s):4 - 5 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (209 KB) | HTML iconHTML

    Software architectures are heterogeneous, multiple-dimensional entities that aim to reduce the cost and ease the complexity associated with the development of large, complex software systems. To fully realize the advantages of software architectures, they need to be specified by a blend of modeling notations at the same (or at different) levels of abstractions. We discuss the benefits of a multifo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient distributed intrusion detection scheme

    Publication Year: 2004, Page(s):39 - 40 vol.2
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (203 KB) | HTML iconHTML

    In general, intrusion detection systems are accurate and comfortable instruments for securing computer and network resources. But one of the great unsolved problems of deploying such systems in real-life environments is the low efficiency, especially in the context of applying the host-based attack identification paradigm. In this paper, a new approach for overcoming the efficiency problem is pres... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robustness study of an embedded operating system for industrial applications

    Publication Year: 2004, Page(s):64 - 65 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (249 KB) | HTML iconHTML

    Critical industrial applications or fault tolerant applications need for operating systems (OS), which guarantee a correct and safe behaviour in spite of the appearance of errors. In order to validate the behaviour of an operating system, software fault injection techniques can be used. These techniques could be used to corrupt the information of some of the operating system calls to see how the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development of a hybrid automotive wireless harness

    Publication Year: 2004, Page(s):56 - 57 vol.2
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1358 KB) | HTML iconHTML

    Bluetooth-compliant wireless signals are used to replace electrical signal wires in the interconnection of automobile components and modules. A hybrid concept, consisting of wired ''clusters'' of automobile components and wireless inter-cluster connections, is used. Initial implementation used switches and lamps to simulate automotive sensors and transducers. Current prototype uses dash panel and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.