Sciweavers

1561 search results - page 256 / 313
» Mobile Process Support Systems - Experiences from a case stu...
Sort
View
OOPSLA
2001
Springer
14 years 1 months ago
Regression Test Selection for Java Software
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
Mary Jean Harrold, James A. Jones, Tongyu Li, Dong...
ICSM
2007
IEEE
14 years 3 months ago
Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
Xiangyu Zhang Chao Liu, Yu Zhang, Jiawei Han, Bhar...
ICFP
2003
ACM
14 years 8 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
MODELS
2007
Springer
14 years 3 months ago
Relating Navigation and Request Routing Models in Web Applications
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
Minmin Han, Christine Hofmeister
CCGRID
2005
IEEE
14 years 2 months ago
The QuarkNet/grid collaborative learning e-Lab
We describe a case study that uses grid computing techniques to support the collaborative learning of high school students investigating cosmic rays. Students gather and upload sc...
Marjorie Bardeen, Eric Gilbert, Thomas Jordan, Pau...