509 search results - page 7 / 102 » On the completeness of compositional reasoning methods |
IWAR
1992
13 years 8 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
GIS
2006
ACM
13 years 7 months ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
APIN
2005
13 years 7 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
ENTCS
2010
13 years 7 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
BIB
2008
13 years 7 months ago
2008
The availability of hundreds of complete bacterial genomes has created new challenges and simultaneously opportunities for bioinformatics. In the area of statistical analysis of g...