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…

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…

Presentaciones del curso "Internet Programming with Java" impartido en la Université M'Hamed Bougara (Bourmerdes, Argelia) en abril de 2007., Proyecto financiado por la Unión Europea: TEMPUS JEP-32102-2004, Licence Professionnelle Technologies des Applications Web (Professional License for Web Application Technologies).

Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practise makes heavy use of logically-generic classes, including container classes. Translation…

This paper presents a free Java software platform which enables users to easily create advanced robotic applications together with image processing. This novel tool is composed of two layers: 1) Easy Java
Simulations (EJS), an open-source tool which provides support…

Microsoft's .NET Framework, and JAVA platforms, are based in a just-in-time compilation philosophy. Software developed using these technologies is executed in a hardware independent framework, which provides a full object-oriented
environment, and in some cases allows the interaction
of several…

by Robert Honway Lee., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002., Includes bibliographical references (p. 81-82)., This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives…

This paper presents an evolution of a simulation environment where situations in which a DDB should maintain data integrity are modeled and implemented. These situations include failures taking place during transactions, and the focus is mainly on the utilization and…

In this research a system, referred to as Jubair-Khaireddin (JK), has been developed to assess the degree of similarity between two programs even though they look superficially dissimilar. The JK system has the capability to detect deliberate attempts of plagiarism.…

The book is intended to be used in an introductory and intermediate level course on computer networks, both whitin Computer Science and Electric Engineering scopes. One of its characteristics is that the entire research software is presented in Java, but…