LOCAL VARIABLES ARE FUNDAMENTAL TO DESCRIBE AND IMPLEMENT COMPUTER ALGORITHMS AND TO SPECIFY SOME OF THEIR PROPERTIES SUCH AS CORRECTNESS, TERMINATION AND PERFORMANCE. IN THIS PAPER, WE ADDRESS THE RUN-TIME ASSERTION CHECKING PROBLEM INVOLVING LOCAL VARIABLES IN JAVA PROGRAMS USING…

Currently, the number of mobile applications that require (wireless) connectivity is constantly increasing. The need for sharing information among mobile devices exists in many applications, and almost every data exchange between these devices involve the same requirements: a means for…

IT HAS BEEN PREVIOUSLY SHOWN THAT ACTUAL NETWORK TRAFFIC EXHIBITS LONG-RANGE DEPENDENCE. THE HURST PARAMETER CAPTURES THE DEGREE OF LONG-RANGE DEPENDENCE; HOWEVER, BECAUSE OF THE NATURE OF COMPUTER NETWORK TRAFFIC, THE HURST PARAMETER MAY NOT REMAIN CONSTANT OVER A LONG…