553 search results - page 45 / 111 » Learning Meets Verification |
103
click to vote
ISESE
2006
IEEE
15 years 7 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
16 years 1 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...
112
click to vote
HICSS
2002
IEEE
15 years 6 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
15 years 1 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...
116
click to vote
EDUTAINMENT
2007
Springer
15 years 5 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...