2042 search results - page 241 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
114
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...
181
click to vote
IWPEC
2010
Springer
15 years 1 months ago
2010
Springer
We consider the computational complexity of a problem modeling bribery in the context of voting systems. In the scenario of Swap Bribery, each voter assigns a certain price for swa...
124
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
155
click to vote
HCI
2009
15 years 1 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
136
click to vote
PIMRC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...