4257 search results - page 630 / 852 » The Logical Modularity of Programs |
152
click to vote
WOSP
2004
ACM
16 years 1 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
158
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...
180
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
176
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
196
click to vote
CP
1997
Springer
15 years 10 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...