5122 search results - page 208 / 1025 » Comparing Consequence Relations |
126
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
132
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
118
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
In contrast to printed photos, practices for sharing digital photos are yet to become well established. Consequently, they have received relatively little attention in the literat...
126
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
200
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...