928 search results - page 102 / 186 » Interpolation-sequence based model checking |
118
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
105
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
124
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
112
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
119
click to vote
TOSEM
2002
15 years 2 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...