8337 search results - page 1457 / 1668 » Reasoning With Characteristic Models |
171
click to vote
RR
2007
Springer
15 years 11 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
139
Voted
TARK
2007
Springer
15 years 11 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
157
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...
134
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
124
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Customizing the bypasses in an embedded processor uncovers valuable trade-offs between the power, performance and the cost of the processor. Meaningful exploration of bypasses re...