1. A distributed temporal logic framework for the verification and synthesis of reactive systems

2. Analysis of an innovative and efficient communication strategy for hierarchical ad-hoc mobile networks

3. Path-order complexity classes

4. Stability results of FIFO networks in the adversarial queueing model

5. Incorporating homomorphic reduction into abstract interpretation

6. TOPPER: a software environment for the enhancement of parallel programs

7. Computing the QR decomposition of a long dense matrix having a minimum fill-in sparse orthogonal matrix

8. D2NOW: data driven multithreading on conventional control flow processors

9. Implementation of the string matching problem on a cluster of workstations

10. A pipelined scheduled for loop tiling to minimize overall completion time

11. An information model of enaluation educational software and evaluating the evaluators

12. Empirical evaluation fo user models and user-adapted systems: a layered evaluation review

13. Usability evaluation of web-based applications

14. Studying human-human interaction in computer-mediated online environments

15. Website content accessibility of 30,000 cypriot web sites

16. Proving copyright ownership using hard instances of computationally intractable problems

17. A randomized singular value decomposition algorithm for applications

18. Face detection by support vector machines in the walsh transform domain

19. Improved defect detaction in manufacturing using novel multidimensional wavelet feature extraction involving vector quantization and PCA techniques

20. A global energy function for the alignment of serially acquired slices