We have developed SummaryBIFF, a new e-mail delivery system for mobile phones that sends a summary of each newly arrived message and the URL connected to the HTML file converted f...
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
: We have designed an embedded controller for the control of a diesel generator using an embedded system. The generator is monitored and controlled remotely via the internet in rea...