Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
The deployment of e-Government continues at a significant cost and pace in the worldwide public sector. An important area of research is that of the evaluation of e-Government. In...
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
This paper presents the evaluation results of a system for tracking humans in surveillance videos. Moving blobs are detected based on adaptive background modeling. A shape based mu...
Bo Wu, Vivek Kumar Singh, C.-H. Kuo, Li Zhang, Sun...