3564 search results - page 174 / 713 » Evaluating a Formal Modelling Language |
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
175
click to vote
ACL
1998
15 years 7 months ago
1998
We present an empirical study of the applicability of Probabilistic Lexicalized Tree Insertion Grammars (PLTIG), a lexicalized counterpart to Probabilistic Context-Free Grammars (...
165
click to vote
IJCAI
2003
15 years 7 months ago
2003
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
174
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
131
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...