2858 search results - page 492 / 572 » Logics with Aggregate Operators |
204
click to vote
IRI
2008
IEEE
16 years 18 days ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
154
click to vote
QEST
2008
IEEE
16 years 17 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
189
click to vote
RTCSA
2008
IEEE
16 years 17 days ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
145
click to vote
ACSC
2007
IEEE
16 years 16 days ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
146
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
—Increasing power density causes die overheating due to limited cooling capacity of the package. Conventional thermal management techniques e.g. logic shutdown, clock gating, fre...