A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...
Pervasive games are an emerging new game genre, which includes context information as an integral part of the game. These games differ from traditional games in that they expand sp...
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...