3384 search results - page 424 / 677 » More Testable Properties |
169
click to vote
TABLEAUX
2007
Springer
16 years 22 days ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
148
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
In this paper we observe that k-anonymizing a data set is strikingly similar to building a spatial index over the data set, so similar in fact that classical spatial indexing tech...
170
click to vote
WISA
2007
Springer
16 years 22 days ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
171
click to vote
AUIC
2006
IEEE
16 years 21 days ago
2006
IEEE
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
173
click to vote
BIBE
2006
IEEE
16 years 21 days ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...