—The use of wireless vehicular communication systems for traffic safety applications imposes a careful and adequate communications dimensioning to ensure the transmission of broa...
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
The utilization of parallel processing in bioinformatics is a relatively new development, and wide spread use of parallel processing in this domain has been limited by the availab...
This paper describes a framework for achieving node-level fault tolerance (NLFT) in distributed realtime systems. The objective of NLFT is to mask errors at the node level in orde...