9504 search results - page 260 / 1901 » Dynamic Substitution Model |
196
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
195
click to vote
WSC
2004
15 years 8 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
212
click to vote
IANDC
2008
15 years 7 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
201
click to vote
TON
2010
15 years 1 months ago
2010
This paper develops a new model that describes the queueing process of a communication network when data sources use window flow control. The model takes into account the burstines...
191
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...