1076 search results - page 42 / 216 » Operations on proofs and labels |
104
Voted
SP
1996
IEEE
15 years 5 months ago
1996
IEEE
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...
101
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operate...
203
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
106
Voted
ASSETS
2008
ACM
15 years 2 months ago
2008
ACM
Proper use of headings in web pages can make navigation more efficient for blind web users by indicating semantic di visions in the page. Unfortunately, many web pages do not use ...
114
Voted
KES
2006
Springer
15 years 23 days ago
2006
Springer
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...