5775 search results - page 253 / 1155 » A Rationale-based Analysis Tool |
178
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
171
click to vote
COMPGEOM
1998
ACM
15 years 10 months ago
1998
ACM
Shape deformation refers to the continuous change of one geometric object to another. We develop a software tool for planning, analyzing, and visualizing deformations between two ...
221
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
156
click to vote
NECO
2006
15 years 6 months ago
2006
In this paper we introduce some mathematical and numerical tools to analyze and interpret inhomogeneous quadratic forms. The resulting characterization is in some aspects similar ...
172
click to vote
JISE
1998
15 years 6 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....