Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence of states during search. We present TopSPIN, a fully automatic symmetry reduction package for the SPIN model checker. TopSPIN uses the GAP computational algebra system to effectively detect state space symmetry from the associat...

supply chain management is a set of guidelines for integration of chains, which aims to reduce costs and increase system services to customers. one of the most important issues for supply chain stockholders is procuring and purchasing requested items in a timely manner. thus, a variety of models have been proposed as purchasing strategy in supply chains. group purchasing is a system which leads...

Penelitian ini bertujuan menemukan strategi nilai baru untuk meningkatkan pangsa pasar TaniHub Bali Branch dengan menggunakan Blue Ocean Strategy. Tujuan penelitian adalah mengetahui: (1) faktor yang mempengaruhi peningkatan berdasarkan bauran pemasaran; (2) bagaimana pengaruh tersebut terhadap Branch; dan (3) penerapan Strategy Branch. metode campuran. Data kualitatif dikumpulkan melalui wawan...

We present a formal framework for the implementation of a concep tual data model in terms of an internal data model within a two level architecture taking into account schema consistency and instance com patibility Within that framework the consequences of schema changes are investigated leading to a homogeneous formalization of existing ap proaches to schema evolution On that basis we introduc...