553 search results - page 45 / 111 » Learning Meets Verification |
ISESE
2006
IEEE
14 years 4 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
Navigating through new voicemail messages to find messages of interest is a time-consuming task, particularly for high-volume users. When checking messages under a time constraint...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Since its inception, the internet has served as a virtual meeting place for people sharing common interests. These interest groups are nowadays called Virtual Communities. In this...
JDI
2006
13 years 10 months ago
2006
: The next `killer ap' is a term the software development community uses to describe its great quest for advancing technology by defining and meeting users' needs and wan...
EDUTAINMENT
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a virtual learning environment which supports the learning process of long term sick children. By focusing on 3D Virtual Environments technology chronical...