A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
Feature-constraint logics for unification grammars
Journal of Logic Programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Unified versioning through feature logic
ACM Transactions on Software Engineering and Methodology (TOSEM)
The grid: blueprint for a new computing infrastructure
The grid: blueprint for a new computing infrastructure
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Understanding Web Services: XML, WSDL, SOAP, and UDDI
Understanding Web Services: XML, WSDL, SOAP, and UDDI
SNMP,SNMPV2,Snmpv3,and RMON 1 and 2
SNMP,SNMPV2,Snmpv3,and RMON 1 and 2
Jini Specification
Database Systems: The Complete Book
Database Systems: The Complete Book
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
Understanding and Deploying LDAP Directory Services
Understanding and Deploying LDAP Directory Services
Matchmaking: Distributed Resource Management for High Throughput Computing
HPDC '98 Proceedings of the 7th IEEE International Symposium on High Performance Distributed Computing
Grid Information Services for Distributed Resource Sharing
HPDC '01 Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing
A Constraint Language Approach to Matchmaking
RIDE '04 Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications (RIDE'04)
web services customization: a composition-based approach
ICWE '06 Proceedings of the 6th international conference on Web engineering
Model management and schema mappings: theory and practice
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
| Hi-index | 0.00 |
Users preferences heterogeneity in distributed systems often forces resources suppliers to offer customizable-resources in order to fulfill different customer needs. In this paper we present the formalization and implementation of a Feature Logic based approach that allows customizable-resources description, selection, and composition. In our approach, resources and requests are both specified in a logical framework by feature terms. The feature terms unification technique allows reasoning on these specifications in order to select and possibly compose the resources that are candidate to satisfy a client request.