2714 search results - page 100 / 543 » Model comparison with GenericDiff |
WWW
2004
ACM
14 years 10 months ago
2004
ACM
The future Web can be imagined as a life network consisting of resource nodes and semantic relationship links between them. Any node has a life span from birth - adding it to the ...
ICARCV
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper describes the measurement of inner deformation of a rheological object using ultrasonic and MR images and comparison the measured and simulated deformations. We appl...
CAV
2003
Springer
14 years 3 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
CAISE
1993
Springer
14 years 2 months ago
1993
Springer
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...