3564 search results - page 144 / 713 » Evaluating a Formal Modelling Language |
109
click to vote
NFM
2011
14 years 5 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
WSC
2001
14 years 11 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
UM
2007
Springer
15 years 4 months ago
2007
Springer
Despite the growing popularity of user modeling servers, little attention has been paid to optimizing and evaluating the performance of these servers. We argue that implementation ...
TAMODIA
2008
14 years 11 months ago
2008
Past research in task modeling suggests the need to introduce objects when using task models for the design of interactive applications. Objects are however rarely included in the ...
EACL
2009
ACL Anthology
15 years 10 months ago
2009
ACL Anthology
We present the results of a large-scale, end-to-end human evaluation of various sentiment summarization models. The evaluation shows that users have a strong preference for summar...