Sciweavers

4856 search results - page 201 / 972
» Concept formation in design
Sort
View
JUCS
2002
113views more  JUCS 2002»
15 years 6 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: 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...
Egon Börger
JCT
2010
112views more  JCT 2010»
15 years 4 months ago
More on block intersection polynomials and new applications to graphs and block designs
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 ...
Leonard H. Soicher
NOTERE
2010
15 years 4 months ago
The Design of a Real-Time Event Manager Component
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...
Damien Masson, Serge Midonnet
ISOLA
2010
Springer
15 years 4 months ago
Design Choices for High-Confidence Distributed Real-Time Software
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
Sebastian Fischmeister, Akramul Azim
ICASSP
2011
IEEE
14 years 10 months ago
Sparse frequency waveform design based on PSD fitting
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...
Guohua Wang, Yilong Lu