12774 search results - page 2421 / 2555 » A Framework for Proof Systems |
174
click to vote
MOBIDE
2009
ACM
16 years 1 months ago
2009
ACM
The explosive growth of location-detection devices, wireless communications, and mobile databases has resulted in the realization of location-based services as commercial products...
156
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
While many role mining algorithms have been proposed in recent years, there lacks a comprehensive study to compare these algorithms. These role mining algorithms have been evaluat...
221
click to vote
ANSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...
175
click to vote
ICC
2008
IEEE
16 years 29 days 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...
195
click to vote
ICSM
2008
IEEE
16 years 28 days ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...