357 search results - page 38 / 72 » Verifying properties of process definitions |
GIS
1998
ACM
13 years 7 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
SEW
2005
IEEE
14 years 1 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
EUROGP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. To analyse various properties of the search process of genetic programming it is useful to quantify the distance between two individuals. Using operator-based distance me...
ENTCS
2006
13 years 7 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...