1080 search results - page 113 / 216 » Improving Software Inspections by Using Reading Techniques |
ICCSA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We have developed an interactive visualization software for an immersive 3D virtual environment system, which generates stereoscopic images from huge human volume dataset...
FSTTCS
2006
Springer
14 years 26 days ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
MOMPES
2008
IEEE
14 years 3 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
PPPJ
2003
ACM
14 years 2 months ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
ICCHP
2004
Springer
14 years 2 months ago
2004
Springer
: Multimedia and Hypermedia technologies can be successfully used in education and rehabilitation for cognitively disabled persons. In particular, storytelling has always proved su...