2501 search results - page 420 / 501 » Logics with Rank Operators |
130
click to vote
QEST
2008
IEEE
15 years 10 months 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...
159
click to vote
RTCSA
2008
IEEE
15 years 10 months 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 ...
126
click to vote
DATE
2007
IEEE
15 years 10 months 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...
124
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
138
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...