We present novel techniques for automated compositional verification of synchronous probabilistic systems. First, we give an assume-guarantee framework for verifying probabilistic safety properties of systems modelled as discretetime Markov chains. Assumptions about system components are represented as probabilistic finite automata (PFAs) and the relationship between components and assumptions ...

The paper contains recent enhancements of a formal model of agent-based computing systems. In such systems a computational task together with its data is enveloped in a shell to form a mobile agent. The shell carries the agent’s logic, ie. abilities to make decisions about whether to migrate to a less loaded machine, split oneself or continue the task. The model describes an agent-based computa...

Looking beyond a micro lexicogrammatical perspective, this article takes broader discursive and sociopolitical view of meaning potential, arguing that interpreting in various political institutional contexts creates new potentials, with interpreters serving as agents intercultural connecting points between discourses. This often engenders additional potentials for further mediation our increasi...

The purpose of this paper is to explore how supply chain has pose new challenges for management accounting regarding costing and performance measurement issues whether contend with these challenges. development it regained its relevance will be discussed in general. Then, the rose as a result introduction notion supply-chain areas clarified. Although current practices are perceived by many rese...

The template activities of protein-free SV40 DNA and SV40 minichromosomes for DNA re-replication are compared in in vitro replication assays. Density substitution experiments and two-dimensional gel electrophoresis show that protein-free DNA can replicate for at least two cycles whereas salt-treated minichromosomes replicate only once. Re-replication of minichromosomes is blocked at the stage o...

Dept. of Chemistry, University of Warwick, Institute for Frontier Materials, Deakin U E-mail: [email protected] Centre for Scientic Computing, Universit E-mail: [email protected] Centro S3 CNR Istituto Nanoscienze, Moden † Electronic supplementary information (including a detailed description of the c description of the three metadynamics re of analyses associated with the com...

the aim of this study was to represent effective componentsin demand chain which help organizations attain high performance levelsthrough identification of these components and determining theirdegree of importance. the following questions were major ideas of thisstudy: what are the most effective components in demand chain? andhow are they effective on organizational performance? to this end,m...

Increasingly, two key trends, value and cost conscious customers and globalization of markets and supply-sources, are shifting the competitive focus from the competitive advantage of firms to competitive advantages of entire supply chains. At the same time, the possibilities for flexibility and coordination inherent in modern information and communication technologies are making it possible to ...

In a real-world application, Fuzzy Semi Hidden Markov Model (FSHMM) is an inspirational domain for uncertainty. FSHMM has been handled the vagueness in real-life situation. The other models cannot consider uncertainty information, but effectively finds optimal path between states where exists. proposed work described new approach to solving model's two significant problems: decoding and re-esti...