Sciweavers

1645 search results - page 131 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
PKC
2010
Springer
161views Cryptology» more  PKC 2010»
15 years 8 months ago
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
ded abstract of this paper appears in 13th International Conference on Practice and Theory in Public Key Cryptography (PKC) 2010, Lecture Notes in Computer Science Vol. ?, P. Nguye...
Kristiyan Haralambiev, Tibor Jager, Eike Kiltz, Vi...
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
SEMWEB
2010
Springer
15 years 4 months ago
ORE - A Tool for Repairing and Enriching Knowledge Bases
Abstract. While the number and size of Semantic Web knowledge bases increases, their maintenance and quality assurance are still difficult. In this article, we present ORE, a tool ...
Jens Lehmann, Lorenz Bühmann
IJCNN
2007
IEEE
16 years 23 days ago
Adaptive Dynamic Modularity in a Connectionist Model of Context-Dependent Idea Generation
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...
Simona Doboli, Ali A. Minai, Vincent R. Brown
ER
2007
Springer
108views Database» more  ER 2007»
16 years 18 days ago
Reasoning over Extended ER Models
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
Alessandro Artale, Diego Calvanese, Roman Kontchak...