Communication networks are usually managed with network-oriented objectives such as throughput and latency. However, in military networks, these objectives are inappropriate; inst...
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...