6201 search results - page 1018 / 1241 » Implementation of Axiomatic Language |
190
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
189
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
197
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
178
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Privacy issues are a major burden for the acceptance of pervasive applications. They may ultimately result in the rejection of new services despite their functional beneï...
179
click to vote
RR
2007
Springer
16 years 21 days ago
2007
Springer
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...