3775 search results - page 519 / 755 » The Expression Problem Revisited |
155
click to vote
ICSR
2004
Springer
16 years 1 days ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
167
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
209
click to vote
HPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
175
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Combinatorial auctions where agents can bid on bundles of items are desirable because they allow the agents to express complementarity and substitutability between the items. Howe...
161
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...