: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
The concept of intersection numbers of order r for t-designs is generalized to graphs and to block designs which are not necessarily t-designs. These intersection numbers satisfy ...
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
New method for designing sparse frequency waveform with sidelobe constraint is proposed in this paper. First, optimal power spectrum density (PSD) corresponding to minimum integra...