356 search results - page 34 / 72 » The Language Features and Architecture of B-Prolog |
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
SMA
2005
ACM
14 years 1 months ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...