Learn More
Existing work on flooding in wireless sensor networks (WSNs) mainly focuses on single-packet problem, while the work on sequential multipacket problem is surprisingly little. This paper proposes OppCode, a new opportunistic network-coding-based flooding architecture for multipacket dissemination in WSNs, where both unreliable and correlated links commonly(More)
The formal specification of information management systems provide long term advantages in terms of systems development and maintenance. In this paper, algebraic specification techniques are used for the formal design specification of a library information management system. The derived specification has been used as a basis for the implementation of an(More)
  • 1