A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Model Checking for Sentient Computing: An Axiomatic Approach
2005
International Conference on Mobile Data Management
Sentient Computing allows applications to best interact with their physical environment, by becoming aware of their surroundings. Awareness is achieved by means of a sensor infrastructure that helps maintain a model that represents the current state of the dynamically changing world. This model can be seen as a concrete interpretation of the physical environment and conceptually stands between the physical world and the abstract view of applications. A number of factors such as the
dblp:conf/mdm/KatsiriM05
fatcat:zmojiy6wefh33ewuotf7uukvci