2407 search results - page 197 / 482 » A Tool for Abstraction in Model Checking |
153
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
170
click to vote
WEBNET
1996
15 years 8 months ago
1996
Abstract: Alter Egos represent people in Cyberspace. An Alter Ego is a kind of intelligent agent who is active in performing actions in behalf of the person it represents. How thes...
183
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
155
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
180
click to vote
ICECCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...