VISOLE (Virtual Interactive Student-Oriented Learning Environment) is a new Game-based Situated Learning Paradigm for Web-based teaching and learning, which aims to help students ...
Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, ...
Interfaces to library systems have largely failed to represent the inherently collaborative nature of information work. This paper describes how collaborative functionality is bein...
David M. Nichols, Duncan Pemberton, Salah Dalhoumi...
Abstract. Virtual memory of computers is usually implemented by demand paging. For some page replacement algorithms the number of page faults may increase as the number of page fra...
In this paper, we present the performance of different broadcast schemes for multihop sensor networks based on mathematical modeling. In near future many applications will demand ...
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...