Sciweavers

5591 search results - page 361 / 1119
» Design patterns: between programming and software design
Sort
View
IUI
2000
ACM
15 years 11 months ago
APE: learning user's habits to automate repetitive tasks
The APE (Adaptive Programming Environment) project focuses on applying Machine Learning techniques to embed a software assistant into the VisualWorks Smalltalk interactive program...
Jean-David Ruvini, Christophe Dony
TASE
2008
IEEE
15 years 6 months ago
An Extension to Pointer Logic for Verification
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang,...
LATIN
1998
Springer
15 years 11 months ago
Fast Two-Dimensional Approximate Pattern Matching
We address the problem of approximate string matching in two dimensions, that is, to nd a pattern of size m m in a text of size n n with at most k errors (substitutions, insertions...
Ricardo A. Baeza-Yates, Gonzalo Navarro
CAISE
2005
Springer
16 years 10 days ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
DAC
1999
ACM
16 years 7 months ago
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
Jörg Henkel