The exponential spread of the World Wide Web has had an enormous impact on educational
institutions. New technologies, such as virtual and remote laboratories, have improved learning and training in the academic community, mainly in the field of technical and…

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…

A computational grid is a hardware and software infrastructure that provides dependable, consistent, pervasive, and inexpensive access to high-end computational capabilities. This talk is divided into three parts. Firstly, we give an overview of the main issues in grid computing.…

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…