1401 search results - page 239 / 281 » Tool Integration for Reasoned Programming |
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
Telecommunication networks process verylarge numbers of events in real time. In this environment, database applications demand both high throughput (at reasonable costs), and pred...
ICTAI
1993
IEEE
14 years 2 months ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
ICCAD
2007
IEEE
14 years 1 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
EUROPLOP
2006
13 years 11 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
NAR
2008
13 years 10 months ago
2008
MALISAM (manual alignments for structurally analogous motifs) represents the first database containing pairs of structural analogs and their alignments. To find reliable analogs, ...