164 search results - page 21 / 33 » Fairness for Chorded Languages |
DRM
2005
Springer
14 years 2 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
PLDI
1998
ACM
14 years 1 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....
ICALP
1994
Springer
14 years 27 days ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...