7393 search results - page 1122 / 1479 » Synthesis-for-testability using transformations |
135
Voted
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
141
click to vote
CPM
2000
Springer
15 years 9 months ago
2000
Springer
The syntenic dista nce between two species is the minimum number of fusions, fissions, and translocations required to transform one genome into the other. The linear syntenic dis...
156
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
135
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
154
click to vote
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...