Constraint automata are a semantic model for XML modeling language. Testing correctness of mapping black-box components in XML to constraint automata is an important problem in analyzing the semantic model of XML and requires a collection of test data that cover different scenarios. In this paper, Genetic Algorithm (GA) is employed to generate such set of test cases. This test data generation i...

This document defines the common architecture for Multicast Security (MSEC) key management protocols that support a variety of application, transport, and network layer security protocols. It also defines the group SA (GSA), and describes the key management protocols that help establish a GSA. The framework and guidelines described in this document allow for a modular and flexible design of gro...

This paper presents aspects concerning the implementation of an adaptive Gravitational Search Algorithm (GSA) in the optimal tuning of fuzzy controllers. Takagi-Sugeno-Kang proportionalintegral fuzzy controllers (TSK PI-FCs) are designed and tuned for a class of nonlinear servo systems. The adaptive GSA is based on five stages to solve the optimization problems with objective functions which de...

In this paper, we introduce a graphene-based saturable absorber (GSA) with high damage threshold employing symmetrical evanescent wave interaction for highly stable mode-locking of ultrafast fiber lasers. To enhance the evanescent wave interaction between the graphene layer and the propagating light, graphene flakes are mixed with polydimethylsiloxane (PDMS), and the graphene/PDMS composite is ...

Analysis of symbolic expressions beneets from a suitable program representation. We show how to build thinned gated single-assignment (TGSA) form, a value-oriented program representation which is more complete than standard SSA form, deened on all reducible programs , and better for representing symbolic expressions than program dependence graphs or original GSA form. We present practical algor...

This document defines the common architecture for Multicast Security (MSEC) key management protocols to support a variety of application, transport, and network layer security protocols. It also defines the group security association (GSA), and describes the key management protocols that help establish a GSA. The framework and guidelines described in this document permit a modular and flexible ...

The purpose of model-based experimental design is to maximise the information gathered for quantitative model identification. Instead of the commonly used optimal experimental design, robust experimental design aims to address parametric uncertainties in the design process. In this paper, the Bayesian robust experimental design is investigated, where both a Monte Carlo sampling strategy and loc...

This document defines the common architecture for Multicast Security (MSEC) key management protocols that support a variety of application, transport, and network layer security protocols. It also defines the group security association (GSA), and describes the key management protocols that help establish a GSA. The framework and guidelines described in this document allow for a modular and flex...