A system of communicating finite state machines (SCFSM) is a usual design model of a complicated system composed of multiple communicating components. SCFSM testing usually depends on finite state machine (FSM) testing as an SCFSM can be converted to an equivalent FSM. SCFSM testing, however, should consider the properties of SCFSMs which are different from those of component FSMs. This paper p...

This paper deals with the design and development of algorithms for a Mathematical Pathway driver. The MP driver is a network of Finite State machines [FSM] used to transit a child through the various learning levels in Mathematics. The purpose of the algorithms is to drive the FSM. A child makes a transition from one level to another on completion of learning at that level else it remains in th...

In a multi-agent system (MAS), an issue arises as agent may possibly encounter a new event, an event that has never been perceived by the agent or was never anticipated by a human developer during the agent implementation. The ability to recognise an event as being on a new class, without having to shut the system down, would significantly enhance the agent's learning potentials. This paper pre...

ion Module FSM minimizer) (DPDL SAT + Synthesis Engine

Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguities that the original humanoriented text is likely to contain. The conversion process involves the conversion of the original text into mathematical notation. This paper discusses how standard conventional contracts can...

Itemset share has been proposed as a measure of the importance of itemsets for mining association rules. The value of the itemset share can provide useful information such as total profit or total customer purchased quantity associated with an itemset in database. The discovery of share-frequent itemsets does not have the downward closure property. Existing algorithms for discovering share-freq...

The increasing popularity of game industry has motivated some exploratory research in mobile games technology. This maturing technology, provided with complex functionality in development process requires software analyst to measure the size of mobile application properly, which relatively affect the software development cost and duration. Expert judgement is used in most of the mobile applicat...

In this paper, we present a correlation attack on Sosemanuk with complexity less than 2. Sosemanuk is a software oriented stream cipher proposed by Berbain et al. to the eSTREAM call for stream cipher and has been selected in the final portfolio. Sosemanuk consists of a linear feedback shift register(LFSR) of ten 32-bit words and a finite state machine(FSM) of two 32-bit words. By combining lin...

Reduced Ordered Binary Decision Diagrams (ROBDDs or simply BDDs) are a data structure used to efficiently represent and manipulate logic functions. They were introduced by Bryant (1986). Since then, they have played a major role in many areas of computer aided design, including logic synthesis, simulation, and formal verification. The size of a BDD representing a logic function depends on the o...

The impact of feeding flax as seed, meal, or oil to late-pregnant and lactating sows on hormone concentrations, immune responses, and sow and litter performances was studied. Sixty sows were fed 1 of 4 diets from 68 d of gestation until 21 d of lactation. Diets were standard (CTL; n = 15); 10% flaxseed supplementation (FS; n = 16); 6.5% flaxseed meal supplementation (FSM; n = 14); and 3.5% flax...