The paths are then translated to a modeling formalism, e.g., timed automata, and timing analysis is then formulated as a reachability problem using an appropriate logic such as TCTL.
Extensive research has been performed on defining high-level modeling languages where time is a fundamental concept (e.g., Ptolemy II, Modelica, Simulink), but the timing semantics of these languages are not preserved when generating code for a particular platform.
The point process model (PPM) for keyword search is a whole-word parametric modeling framework based on the timing of phonetic events rather than the evolution of frame-level phonetic likelihoods.
From the practical point of view, the integration of different computational models provides a modeling environment that allows one to co-simulate models written in different design languages and with distinct timing, communication, and synchronization concepts.
Boolean network modeling, which is now a widely used modeling framework in systems biology, requires timing robustness analysis since reaction kinetic parameters inevitably vary over a certain range.
Our modeling results suggest that the timing of ecological invasion of a species into a focal community can largely change the evolutionary consequences of the community.
We employed an event-related picture paradigm (George et al. 2001; Myrick et al. 2004; Smolka et al. 2006) because this provides optimal flexibility with regard to stimulus timing and avoids modeling problems which may arise when analyzing video paradigm fMRI data.
Regarding assumption 3, we modeled the probability of non-adherence as a function of a patient's exposure time to the EM system by performing two multiple random-intercepts logistic regression analysis, one modeling dose omissions and one timing non-adherence.
This model complete previous modeling solutions proposed for self-paced and synchronization tapping, for a unifying framework of event-based timing.
