895 search results - page 36 / 179 » A Spectrum of Applications of Automated Reasoning |
147
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Security and privacy issues for Location-Based Services (LBS) and geolocation-capable applications often revolve around designing a User Interface (UI) such that users are informe...
123
Voted
CL
2008
Springer
15 years 4 months ago
2008
Springer
Dynamic, unanticipated adaptation of running systems is of interest in a variety of situations, ranging from functional upgrades to on-the-fly debugging or monitoring of critical ...
139
click to vote
GIS
2006
ACM
15 years 4 months ago
2006
ACM
We present an algorithm for polyline (and polygon) similarity testing that is based on the double-cross formalism. To determine the degree of similarity between two polylines, the...
165
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
133
click to vote
GIS
1995
ACM
15 years 8 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...