This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Planning a new logistics center is a quite difficult job. Depending on the requirements there are a great number of possible design versions. The planner has to consider not only ...
Alexander Ulbrich, Stefan Galka, Willibald A. G&uu...
OS-level virtualization generates a minimal start-up and run-time overhead on the host OS and thus suits applications that require both good isolation and high efficiency. However...
Zhiyong Shan, Xin Wang 0001, Tzi-cker Chiueh, Xiao...
This paper contains a study on how Participatory Design (PD) and distributed software development (DSD) are linked up and whether Distributed Participatory Design is an inherent pa...
Karin Danielsson, Amir M. Naghsh, Dorina C. Gumm, ...