1126 search results - page 57 / 226 » Modularity and the Rule of Adaptation |
144
click to vote
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
146
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
136
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
120
click to vote
IEEEIAS
2008
IEEE
15 years 10 months ago
2008
IEEE
: An intrusion detection system should support the operator of the system. Thus, in addition to producing alerts, it should allow for easy insertion of new detection algorithms. It...
120
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...