1120 search results - page 140 / 224 » Eager Markov Chains |
100
click to vote
CASCON
2001
15 years 1 months ago
2001
Of the many tuning parameters available in a database management system (DBMS), one of the most crucial to performance is the buffer pool size. Choosing an appropriate size, howev...
IJIT
2004
15 years 1 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
SODA
1998
ACM
15 years 1 months ago
1998
ACM
We prove that the First Fit bin packing algorithm is stable under the input distribution U{k - 2, k} for all k 3, settling an open question from the recent survey by Coffman, Gar...
106
click to vote
BIS
2009
15 years 1 months ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...