Sciweavers

3736 search results - page 80 / 748
» Generative Programming
Sort
View
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 5 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana
COMSIS
2004
110views more  COMSIS 2004»
15 years 2 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin
CP
2007
Springer
15 years 6 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
104
Voted
SAC
2009
ACM
15 years 9 months ago
A comparative study of techniques to write customizable libraries
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
Baris Aktemur, Sam Kamin
VLDB
1993
ACM
94views Database» more  VLDB 1993»
15 years 6 months ago
Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation
If persistent programming languages are to be accepted they must provide many of the standard features of traditional database systems, including resilience in the face of system ...
Antony L. Hosking, Eric W. Brown, J. Eliot B. Moss