778 search results - page 81 / 156 » Text Adaptation Using Formal Concept Analysis |
116
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
106
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
117
click to vote
ER
2000
Springer
15 years 6 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
137
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
142
click to vote
DOCENG
2003
ACM
15 years 8 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...