4341 search results - page 692 / 869 » Quantitative Model checking |
181
click to vote
KES
2007
Springer
16 years 18 days ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
192
click to vote
MICCAI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The branching pattern and geometry of coronary microvessels are of high interest to understand and model the blood flow distribution and the processes of contrast invasi...
152
click to vote
HICSS
2006
IEEE
16 years 15 days ago
2006
IEEE
Gatekeeping/Information Control is exercised frequently and daily in virtual communities. Gatekeeping exists in four different levels: Regulators, service providers, communitiesâ€...
158
click to vote
QEST
2006
IEEE
16 years 14 days ago
2006
IEEE
Size-based policies have been known to successfully balance load and improve performance in homogeneous cluster environments where a dispatcher assigns a job to a server strictly ...
175
click to vote
QEST
2006
IEEE
16 years 14 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...