Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
If Computer-Supported Cooperative Work (CSCW) systems are to be successful over time, it will be necessary to promote ongoing and continuing activity, not just initial adoption. I...
The needs for various forms of information systems relating to the European environment and ecosystem are reviewed, and limitations indicated.. Existing information systems are re...
Keith Rennolls, Tim Richards, Alexander M. Fedorec...
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, ...
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...