3284 search results - page 459 / 657 » On the modularity of feature interactions |
219
click to vote
FROCOS
2005
Springer
16 years 18 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
188
click to vote
GFKL
2005
Springer
16 years 17 days ago
2005
Springer
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Visualization based on perceptually motivated audio features and Emer...
176
click to vote
NIME
2005
Springer
16 years 16 days ago
2005
Springer
This report describes The Metasurface – a mapping interface supporting interactive design of two-to-many mappings through the placement and interpolation of parameter snapshots ...
189
Voted
SPW
2005
Springer
16 years 16 days ago
2005
Springer
This paper recounts some lessons that we learned from the deployment of host-to-host IPsec in a large corporate network. Several security issues arise from mismatches between the d...
174
Voted
WAIM
2005
Springer
16 years 16 days ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...