1492 search results - page 28 / 299 » Testing Properties of Constraint-Graphs |
138
Voted
IOLTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
135
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
130
click to vote
APCCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper considers z-domain transfer functions whose denominator polynomial possesses the property that the coefficient of zi is greater than the coefficient of zi-1 . Such trans...
127
click to vote
ROOM
2000
15 years 4 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
106
click to vote
COGSCI
2004
15 years 3 months ago
2004
A feature is central to a concept to the extent that other features depend on it. Four studies tested the hypothesis that people will project a feature from a base concept to a ta...