10038 search results - page 345 / 2008 » Model Checking for Managers |
172
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper proposes a new discrete-time queue analytical model based on BLUE algorithm in order to determine the network congestion in preliminary stages. We compare the origina...
155
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Understanding knowledge transfer using computer-mediated context is becoming essential given that organizations are spread more and more globally. In this paper, we adopt elaborat...
185
click to vote
AAAI
2010
15 years 5 months ago
2010
hey generalize these factors to the abstract concepts of ability, integrity, and benevolence. This model does not use probabilistic decision theory. Other SCM trust factors have be...
186
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buffered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
167
click to vote
SWWS
2007
15 years 7 months ago
2007
- In recent years, computing becomes more mobile and pervasive; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly d...