Gaining and sustaining competitive advantage through knowledge sharing and network-based knowledge processes is a process involving the tasks of formulating a strategic vision, fo...
Grid applications are special cases of networking applications. In order to investigate potential applications of Grid technologies to e-learning we discuss in the following some ...
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...
This paper is talks about the critical role that Jim Gray played in the creation of the WorldWide Telescope software. Contrary to what you might think it wasn't his database ...