3429 search results - page 314 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
138
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
178
click to vote
COLING
2008
15 years 3 months ago
2008
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
108
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assi...
142
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...