Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Ov...
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
With the new interest in historical documents insight grew that electronic access to these texts causes many specific problems. In the first part of the paper we survey the presen...
Andreas Hauser, Markus Heller, Elisabeth Leiss, Kl...
In this report paper we collect recent results on the vertex reconstruction in Cayley graphs Cay(G, S). The problem is stated as the problem of reconstructing a vertex from the mi...
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
Gregory E. Kersten, Eva Chen, Dirk Neumann, Rustam...