875 search results - page 34 / 175 » Specification Modules for Methodical System Development |
104
click to vote
VIS
2004
IEEE
15 years 11 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
102
click to vote
JSAC
2006
14 years 9 months ago
2006
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
169
click to vote
ICSAP
2010
15 years 1 months ago
2010
—In this paper, we study the performance of the channel estimation in a Turbo coded, orthogonal frequency division multiplexing (OFDM) with multiple antennas at the receiver. We ...
FM
2008
Springer
14 years 11 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...