2632 search results - page 473 / 527 » Alternating Timed Automata |
123
click to vote
MOBIHOC
2009
ACM
15 years 6 months ago
2009
ACM
Spectrum is a critical yet scarce resource and it has been shown that dynamic spectrum access can significantly improve spectrum utilization. To achieve this, it is important to ...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
SIGMOD
2009
ACM
15 years 6 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
105
click to vote
CLUSTER
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...