Sciweavers

3363 search results - page 256 / 673
» A Framework for Knowledge Reuse
Sort
View
211
Voted
AISC
2010
Springer
15 years 11 months ago
Dimensions of Formality: A Case Study for MKM in Software Engineering
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
ICCBR
1999
Springer
15 years 11 months ago
Automatic Conversion of VHDL Programs into Cases
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
Paulo Gomes, Carlos Bento
KDD
1997
ACM
113views Data Mining» more  KDD 1997»
15 years 10 months ago
A Guided Tour through the Data Mining Jungle
Animportantsuccessfactor for the field of KDDlies in the developmentand integration of methodsfor supporting the construction and execution of KDDprocesses. Crucial aspects in thi...
Robert Engels, Guido Lindner, Rudi Studer
ICSE
1989
IEEE-ACM
15 years 10 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
AAECC
2009
Springer
138views Algorithms» more  AAECC 2009»
15 years 10 months ago
Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
Yang Cui, Kirill Morozov, Kazukuni Kobara, Hideki ...