2686 search results - page 89 / 538 » Testing metric properties |
85
Voted
IANDC
2007
14 years 10 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
BIBE
2006
IEEE
15 years 4 months ago
2006
IEEE
Discerning the similarity between two molecules is a challenging problem in drug discovery as well as in molecular biology. The importance of this problem is due to the fact that ...
85
Voted
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
112
click to vote
IV
2003
IEEE
15 years 3 months ago
2003
IEEE
An alternative term for these diagrams is “Euler-Venn diagrams” but they are often inaccurately called “Venn diagrams”. Venn diagrams often look similar, but must contain a...