1180 search results - page 106 / 236 » Alternating Simulation and IOCO |
150
click to vote
QEST
2007
IEEE
16 years 17 days ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
181
click to vote
QEST
2007
IEEE
16 years 17 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
142
click to vote
VTC
2007
IEEE
16 years 17 days ago
2007
IEEE
— Channel-adaptive techniques increase the efficiency of wireless communications, as they are efficient in coping with the quality variation of the wireless channels. However, ...
154
click to vote
VTC
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—Networking researchers have long faced a fundamental tension between the experimental realism of wireless testbeds on one hand, and the control and repeatability of simu...
135
click to vote
ICCS
2007
Springer
16 years 14 days ago
2007
Springer
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...