This paper proposes a WSDL extension for describing IPsec policies for protecting Web Services communications. By using the proposed extension, a Web Service (server) informs to i...
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
Johan Muskens, Michel R. V. Chaudron, Christian La...
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...