3573 search results - page 472 / 715 » Reasoning about Codata |
268
click to vote
LAWEB
2006
IEEE
16 years 16 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...
158
click to vote
LICS
2006
IEEE
16 years 16 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...
171
click to vote
RTSS
2006
IEEE
16 years 16 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...
171
click to vote
SEFM
2006
IEEE
16 years 16 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
161
click to vote
SP
2006
IEEE
16 years 16 days ago
2006
IEEE
Classification accuracy in intrusion detection systems (IDSs) deals with such fundamental problems as how to compare two or more IDSs, how to evaluate the performance of an IDS, ...