This paper carries on the investigation of orthomodular lattices that are endowed with a symmetric difference. Let us call them ODLs. Note ODLs may have certain bearing “quantum logics” - close to Boolean algebras though they capture phenomenon non-compatibility. The initial question in studying state space is whether can be poor. purely combinatorial nature. In this note, we exhibit finite ODL...

Abstract Stateless model checking (SMC) is one of the standard approaches to verification concurrent programs. As scheduling non-determinism creates exponentially large spaces thread interleavings, SMC attempts partition this space into equivalence classes and explore only a few representatives from each class. The efficiency approach depends on two factors: (a) coarseness partitioning, (b) tim...

The right to appeal a court, including an administrative one, is one of the key rights citizens guaranteed by Constitution and laws Ukraine. Apart from general constitutional judicial protection, Article 7 Law Ukraine No. 1402-VIII “On Judiciary Status Judges” dated June 2, 2016, guarantees everyone protection their rights, freedoms, interests within reasonable time independent, impartial, fair...

The high-level contribution of this paper is an energy-aware version of the well-known position-based Greedy Perimeter Stateless Routing (GPSR) protocol for mobile ad hoc networks (MANETs). In the proposed energy-aware GPSR protocol, referred to as E-GPSR, we optimize the greedy forwarding mode as follows: a forwarding node first determines a candidate set of neighbor nodes – the nodes that lie...

In this paper, an improvement over Trusted Greedy Perimeter Stateless Routing (T-GPSR) is presented. T-GPSR employs heuristic weight values to evaluate total trust value of neighboring nodes. However, heuristic assignment of weights provide flexibility but it is not suitable in presence of several security attacks such as Grey hole, selfish behavior, on-off attack etc., are launched in the netw...

Greedy Perimeter Stateless Routing (GPSR) is a proven efficient geographical routing protocol for wireless sensor network. It provides routing support for Wireless Sensor Network. However, Greedy Perimeter Stateless Routing is designed for the symmetric links usually bidirectional in nature, but sensor networks are often asymmetric in nature. In Wireless Sensor Network the nodes are not designa...

Wireless sensor networks are collections of large number of sensor nodes. The sensor nodes are featured with limited energy, computation and transmission power. Each node in the network coordinates with every other node in forwarding their packets to reach the destination. Since these nodes operate in a physically insecure environment; they are vulnerable to different types of attacks such as s...

The growth of the Internet and the World Wide Web has changed the way people are educated, and distance learning is amongst the most promising fields of new Web applications built from existing services with supporting infrastructures. In this paper, we introduce a number of new applications built from Stateless Client Systems to assist the learning of computer-based activities. Stateless Clien...