Results 261 to 270 of about 12,438,174 (289)
Some of the next articles are maybe not open access.
A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications
2017Event-based aspect-oriented programming (EAOP) model allows to systematically treat relationship between point-cuts and to execute aspects whenever receiving events emitted by the base program. However, this model neither comes with formal specification nor provides any mechanism to verify its properties formally.
Hong Anh Le +2 more
openaire +1 more source
IDENTIFICATION, MODEL-BASED METHODS
2001Parametric identification of vibrating systems is the process of developing finitely parametrized models for such systems based upon measured excitation and/or response signals. Typically, the excitation is force and the response vibration displacement, velocity, or acceleration. A typical identification experiment is depicted in Figure 1.
openaire +1 more source
Model based stress decision method
7th European Conference on Speech Communication and Technology (Eurospeech 2001), 2001Wooil Kim +3 more
openaire +1 more source
A Comparison of Model-Based Methods for Leakage Localization in Water Distribution Systems
Water Resources Management, 2022Irène Marzola +2 more
exaly