3765 search results - page 449 / 753 » Formal Methods for Systems Engineering Behavior Models |
176
click to vote
SFM
2007
Springer
16 years 25 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
172
click to vote
TAICPART
2006
IEEE
16 years 22 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
186
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper describes a discriminatively trained, multiscale, deformable part model for object detection. Our system achieves a two-fold improvement in average precision over the b...
155
Voted
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
166
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...