- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
Christos Bouras, Maria Nani, Thrasyvoulos Tsiatsos
The World Wide Web has become an important source of information for tourists planning their vacation. So, destination recommendation systems supporting users in their decision ma...
Helmut Berger, Michaela Denk, Michael Dittenbach, ...
The organization of the knowledge on the web is increasingly becoming a social task performed by online communities whose members share a common interest in classifying different t...