This paper presents a new fair document exchange protocol based on bilinear pairing with off-line trusted third party (TTP). In such a fair exchange scenario, each party owns a va...
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Abstract. Survivability should be considered beyond security for networked information systems, which emphasizes the ability of continuing providing services timely in malicious en...
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...
Stefan Kirn, Christian Heine, Rainer Herrler, Karl...
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...