975 search results - page 107 / 195 » Declarative Aspect-Oriented Programming |
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
With the increasing number of ontologies available on the web, the problem of merging ontologies from different sources to interoperate applications becomes important. This paper ...
RISE
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
JAR
2007
14 years 9 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
COORDINATION
2007
Springer
15 years 4 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...