2291 search results - page 70 / 459 » Representational Reasoning and Verification |
FLAIRS
2004
13 years 10 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
BIRTHDAY
2009
Springer
14 years 26 days ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
DBSEC
2010
13 years 10 months ago
2010
The use of location based services has increased significantly over the last few years. However, location information is only sparsely used as a security mechanism. One of the reas...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...