5243 search results - page 791 / 1049 » Reasoning About Strategies |
168
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Information about online presence allows participants of instant messaging (IM) systems to determine whether their prospective communication partners will be able to answer their ...
174
click to vote
ISQED
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper proposes a novel method for analyzing large onchip power delivery networks via a stochastic moment matching (SMM) method. The proposed method extends the existing direc...
272
click to vote
LAWEB
2006
IEEE
16 years 20 days ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
159
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
177
click to vote
RTSS
2006
IEEE
16 years 20 days ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...