653 search results - page 86 / 131 » Partial equilibrium logic |
120
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The argument against ASIC SoCs is that they have always taken too long and cost too much to design. As new process technologies come on line, the issue of inflexible, unyielding d...
150
Voted
CLEIEJ
2006
15 years 3 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
145
click to vote
JSC
2010
15 years 2 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
123
Voted
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
A game theoretic framework is developed in this paper to facilitate inter-cell interference management through cognitive sensing distributively performed by mobile stations (MSs)....
123
Voted
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
We develop a game theoretic framework for effective and adaptive inter-cell interference management in the OFDMA-based WiMAX/3GPP-LTE systems. Such approach requires no fixed spe...