In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

uml is known as one of the most common methods in software engineering.since this language is semi-formal, many researches and efforts have beenperformed to transform this language into formal methods including petri nets.thus, the operation of verification and validation of the qualitative and nonfunctionalparameters could be achieved with more ability. since the majority of thereal world info...

The Programmers' Playground is a programming environment that supports end-user construction of distributed multimedia applications. The system implements a new programming model that is based, in part, upon ideas from the formal I/O automaton model of Lynch and Tuttle. Important features of The Programmers' Playground are a separation of communication and computation and graphical support for ...

changes in seed dormancy were selected during the domestication of crop plants from wild-plant species, because some features of dormancy that provide ecological advantages presented agronomic disadvantages within a farmed system. seed dormancy varies widely among seed batches, even for seeds of the same genotype, indicating large environmental influences. for genetic studies, it is essential t...

Understanding shallot seed systems is crucial for managing crop biodiversity on-farm where it of both private value to farmers and social significance future improvement the resilience farming system. Focus Group Discussion (FGD) was carried out in Cirebon-West Java, Brebes-Central Bantul-Yogyakarta S.R Nganjuk-East Java. In FGDs estimate that share formal sector total supply rarely exceeds 5%....

Potato is one of the staple crops cultivated in upland farming in Japan and is propagated vegetatively by means of tubers. However once infected with diseases, potato yield decreases significantly. And one seed potato can produce approximately only 10 potato tubers. To improve the production system of seed potatoes in Japan, Japanese government established a three-stage propagation system for t...

In this work we consider the simultaneous solution of large linear systems of the form Ax(j) = b(j); j = 1; : : : ; K where A is sparse and non-Hermitian. Our single-seed approach uses QMR to solve the seed system j and generate biorthogonal Krylov subspaces. Approximate solutions to the non-seed systems are simulanteously generated by minimizing their appropriately projected residuals. After t...

PREMISE OF THE STUDY Recent phylogenetic analyses based on molecular data suggested that the monocot family Zingiberaceae be separated into four subfamilies and four tribes. Robust morphological characters to support these clades are lacking. Seeds were analyzed in a phylogenetic context to test independently the circumscription of clades and to better understand evolution of seed characters wi...