By Topic

Computer Software and Applications Conference Workshops (COMPSACW), 2011 IEEE 35th Annual

Date 18-22 July 2011

Filter Results

Displaying Results 1 - 25 of 113
  • [Front cover]

    Publication Year: 2011 , Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (1008 KB)  
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011 , Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (15 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011 , Page(s): iii
    Save to Project icon | Request Permissions | PDF file iconPDF (56 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (122 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011 , Page(s): v - xvi
    Save to Project icon | Request Permissions | PDF file iconPDF (202 KB)  
    Freely Available from IEEE
  • Message from the Workshops Chairs

    Publication Year: 2011 , Page(s): xvii - xviii
    Save to Project icon | Request Permissions | PDF file iconPDF (82 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • IWSC 2011 - The Eighth IEEE International Workshop on Software Cybernetics

    Publication Year: 2011 , Page(s): xix - xx
    Save to Project icon | Request Permissions | PDF file iconPDF (72 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • ONIT 2011 - The Third IEEE International Workshop on Open NGN and IMS Testbeds

    Publication Year: 2011 , Page(s): xxi - xxii
    Save to Project icon | Request Permissions | PDF file iconPDF (71 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • STPSA 2011 - The Sixth IEEE International Workshop on Security, Trust, and Privacy for Software Applications

    Publication Year: 2011 , Page(s): xxiii - xxiv
    Save to Project icon | Request Permissions | PDF file iconPDF (66 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • STA 2011 - The Third IEEE International Workshop on Software Test Automation

    Publication Year: 2011 , Page(s): xxv - xxvi
    Save to Project icon | Request Permissions | PDF file iconPDF (68 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • CORCS-IEESD 2011 - The Third IEEE International Workshop on Component-Based Design of Resource-Constrained Systems/The Third IEEE International Workshop on Industrial Experience in Embedded System Design

    Publication Year: 2011 , Page(s): xxvii - xxix
    Save to Project icon | Request Permissions | PDF file iconPDF (70 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • CloudApp 2011 - The Second IEEE International Workshop on Applied Cloud Computing

    Publication Year: 2011 , Page(s): xxx - xxxi
    Save to Project icon | Request Permissions | PDF file iconPDF (68 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • QUORS 2011 - The Fifth IEEE International Workshop on Quality Oriented Reuse of Software

    Publication Year: 2011 , Page(s): xxxii - xxxiii
    Save to Project icon | Request Permissions | PDF file iconPDF (72 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • CFSE 2011 - The Third IEEE International Workshop on Computer Forensics in Software Engineering

    Publication Year: 2011 , Page(s): xxxiv - xxxv
    Save to Project icon | Request Permissions | PDF file iconPDF (65 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • ESAS 2011 - The Sixth IEEE International Workshop on Engineering Semantic Agent Systems

    Publication Year: 2011 , Page(s): xxxvi - xl
    Save to Project icon | Request Permissions | PDF file iconPDF (94 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • SAPSE 2011 - The Third IEEE International Workshop on Security Aspects of Process and Services Engineering

    Publication Year: 2011 , Page(s): xli - xlii
    Save to Project icon | Request Permissions | PDF file iconPDF (67 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • SSS 2011 - The Fourth IEEE International Workshop on Service Science and Systems

    Publication Year: 2011 , Page(s): xliii - xliv
    Save to Project icon | Request Permissions | PDF file iconPDF (73 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • REFS 2011 - The Fourth IEEE International Workshop on Service Science and Systems

    Publication Year: 2011 , Page(s): xlv - xlvii
    Save to Project icon | Request Permissions | PDF file iconPDF (77 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • IWPD 2011 - The Second IEEE International Workshop on Program Debugging

    Publication Year: 2011 , Page(s): xlviii - xlvix
    Save to Project icon | Request Permissions | PDF file iconPDF (68 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Stateflow to Extended Finite Automata Translation

    Publication Year: 2011 , Page(s): 1 - 6
    Cited by:  Papers (3)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (910 KB) |  | HTML iconHTML  

    State flow, a graphical interface tool for Matlab, is a common choice for design of event-driven software and systems. In order for their offline analysis (testing/verification) or online analysis (monitoring), the State flow model must be converted to a form that is amenable to formal analysis. In this paper, we present a systematic method, which translates State flow into a formal model, called Input/Output Extended Finite Automata (I/O-EFA). The translation method treats each state of the State flow model as an atomic module, and applies composition/refinement rules for each feature (such as state-hierarchy, local events) recursively to obtain the entire model. The size of the translated model is linear in the size of the State flow chart. Our translation method is sound and complete in the sense that it preserves the discrete behaviors as observed at the sample times. Further, the translation method has been implemented in a Matlab tool, which outputs the translated I/O-EFA model that can itself be simulated in Matlab. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive RTP Rate Control Method

    Publication Year: 2011 , Page(s): 7 - 12
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (423 KB) |  | HTML iconHTML  

    In this paper, we present an adaptive method for maximizing network bandwidth utilization for the real-time applications. RTP protocol is chosen as the transport protocol and the network utilization is provided by increasing and decreasing the transmission rate of the RTP traffic. Our method employs a PID controller that keeps the RTP packet loss fraction at a predefined reference point. Packet loss fraction parameter is gathered from the RTCP receiver reports and fed into the PID controller that controls the transmission rate of the RTP traffic. Simulations are performed to demonstrate the effectiveness of the method under a bottleneck network configuration with background UDP traffic competing against the RTP traffic for the available bandwidth. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy Control-Based Software Self-Adaptation: A Case Study in Mission Critical Systems

    Publication Year: 2011 , Page(s): 13 - 18
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (501 KB) |  | HTML iconHTML  

    Self-adaptation ability is particularly desirable for mission critical software (MCS). This paper proposes a fuzzy control-based approach to provide a systematic, engineering, and intuitive way for programmers to achieve software self adaptation. This approach uses fuzzy logic to handle uncertainty in software, uses natural-language style to describe self-adaptation logic, and makes control visible in software. These greatly shorten the knowledge and semantics gap between control engineering and software engineering, and reduce the realization difficulty of software self-adaptation. We illustrate our approach through the development of an adaptive MCS application in process control systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Sufficient Condition for Parameters Estimation in Dynamic Random Testing

    Publication Year: 2011 , Page(s): 19 - 24
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (442 KB) |  | HTML iconHTML  

    Dynamic Random Testing (DRT) is a testing strategy to improve traditional random testing and random-partition testing strategies. The essential idea of DRT is that the testing profile, based on which test classes are chosen to select next test case, should be dynamically adjusted according to the testing history. DRT can have various forms depending on parameters settings, application scenarios and test suite partitioning schemes. This paper discusses the theoretical boundary of the parameters in DRT and their impact on the actual effectiveness in practice. A sufficient condition for the parameters estimation in DRT is proposed and further examined through experiments on three subject programs. Data indicates that the proposed sufficient condition provides a reasonable guideline for choosing parameters when applying the DRT strategy. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Performance Guarantee Approach for Cloud Applications Based on Monitoring

    Publication Year: 2011 , Page(s): 25 - 30
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (417 KB) |  | HTML iconHTML  

    Cloud computing, a paradigm shift that offer computing resources in a pay-as-you-go manner, is expected to minimize service operators' cost without sacrificing the performance of services. However, it is much harder to guarantee the performance of cloud applications due to the complex architecture of cloud, the interaction between co-deployed applications and the unpredictability of workload. Some research work has reported that existed cloud is not performing as satisfactorily as expected. How to guarantee the stable performance of cloud applications turns into a major concern of both the cloud providers and the service providers. In this paper, we present an approach to guarantee the performance of cloud applications based on a performance model. Extracted from actual runtime monitoring data using data mining techniques, the model can be leveraged to direct how to adjust the resource provision strategy under a given performance requirement. A monitoring framework is implemented for collecting runtime monitoring data on a real cloud which provides PaaS service. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Monitoring and Adaptation of Multiple QoS in Service-Based Systems

    Publication Year: 2011 , Page(s): 31 - 36
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (424 KB) |  | HTML iconHTML  

    Systems based on service-oriented architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. SBS often require their services to be composed in complex workflows to perform their high-level tasks. The users usually have certain expectations on the overall QoS (quality of service) of their workflows. Due to the highly dynamic environments of SBS, in which temporary unavailability or quality degradation of services may occur frequently and unexpectedly, monitoring and controlling the execution of workflows adaptively in SBS to satisfy users' QoS requirements is needed, and should be done in distributed and proactive manner. In this paper, a design of distributed QoS monitoring and adaptive (M/A) modules for multiple workflows in adaptive SBS (ASBS) is presented. The requirements on QoS M/A in ASBS, as well as the ASBS system architecture and the coordination protocol among software modules and services in ASBS for QoS M/A, are discussed. View full abstract»

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