2136 search results - page 36 / 428 » Learning Behavior Models for Hybrid Timed Systems |
125
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
111
click to vote
ICNC
2005
Springer
15 years 6 months ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
98
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
107
click to vote
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
116
Voted
ECRTS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...