3523 search results - page 485 / 705 » Feature interaction in policies |
205
click to vote
FROCOS
2005
Springer
16 years 6 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...
174
click to vote
GFKL
2005
Springer
16 years 6 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...
164
Voted
NIME
2005
Springer
16 years 5 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 ...
160
Voted
WAIM
2005
Springer
16 years 4 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...
161
click to vote
CSCW
2004
ACM
16 years 3 days ago
2004
ACM
The Meeting Central prototype is a suite of collaboration tools designed to support distributed meetings. The tools' minimalist design provides only those features that have ...