3564 search results - page 319 / 713 » Evaluating a Formal Modelling Language |
180
click to vote
ROOM
2000
15 years 8 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
179
click to vote
POPL
1996
ACM
15 years 10 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
176
click to vote
NAACL
2010
15 years 4 months ago
2010
We present results from a range of experiments on article and preposition error correction for non-native speakers of English. We first compare a language model and errorspecific ...
165
click to vote
ICSE
1987
IEEE-ACM
15 years 10 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
173
click to vote
ETFA
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...