We propose a combination of model checking and interactive theorem proving where the theorem prover is used to represent finite and infinite state systems, reason about them compositionally and reduce them to small finite systems by verified abstractions. As an example we verify a version of the Alternating Bit Protocol with unbounded lossy and duplicating channels: the channels are abstracted ...

the purpose of this research was to investigate the factors affecting the use of information resources and communication channels by the rey township vegetable growers as regards their prevention of soil pollution. the study consisted of all vegetable growers (n=700) in the ray county, located in tehran province, from among whom 70 vegetable growers were selected through random sampling techniq...

Information security awareness is becoming increasingly important these days. It not enough to have a well-developed physical and logical protection of the system stored data; users systems keep up with technological development be sufficiently aware or cautious when using systems. Security Awareness Programs provide most effective solution for improvement users’ information knowledge digital c...

This paper aims to investigate the development and utilization of traditional culture in context new media environment. It explores effective strategies for preserving advancing digital age while leveraging potential technologies cultural innovation dissemination. Through a comprehensive analysis exploration relationship between culture, this demonstrates that environment offers an expansive pl...

To function properly in the world, a cognitive system should possess the ability to learn and adapt in a continuous, open-ended, life-long fashion. This learning is inherently cross-modal; the system should use all of its percepts and capabilities to sense and understand the environment, and update the current knowledge accordingly. For the life-long learning to be effective, it is also importa...