In this article, a synthesis procedure is proposed to achieve desired radiation pattern in standing-wave structure. To obtain the desired pattern, transmission line model is used, also. In fact, the ...

Model-View-ViewModel in Monaco. Although we don't adopt any framework during the development, Monaco's design finally turns out to be MVVM (Model-View-ViewModel). With this design pattern in mind, we ...

The need to manually specify temporal properties of software systems is a major barrier to wider adoption of software model checking, because the specification of software temporal properties is a ...