8496 search results - page 225 / 1700 » Problem Solving and Complex Systems |
105
click to vote
SUTC
2006
IEEE
15 years 8 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
127
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In this paper, we investigate the problem of minimizing the average transmission power of users while guaranteeing the average delay constraints in time-varying uplink ...
102
click to vote
FSTTCS
1994
Springer
15 years 6 months ago
1994
Springer
We give an interactive protocol for s-t RELIABILITY, the well known reliability problem on graphs. Our protocol shows that if IP(f(n)) denotes the class of languages whose interac...
123
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
102
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Co-evolutionary algorithms (CEAs) have been applied to optimization and machine learning problems with often mediocre results. One of the causes for the unfulfilled expectations i...