2162 search results - page 253 / 433 » Automated Reasoning on Feature Models |
161
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
172
click to vote
GIS
2000
ACM
15 years 10 months ago
2000
ACM
The goal of Digital Earth (www.digitalearth.gov) is to create a virtual representation of our planet that enables a person to explore and interact with the vast amounts of natural...
159
click to vote
GIS
1995
ACM
15 years 10 months ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
190
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
154
click to vote
PLILP
1995
Springer
15 years 10 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...