1992 search results - page 230 / 399 » Model Based Testing with Labelled Transition Systems |
163
Voted
WSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
113
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
132
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present, through simulations of the coffee market of the state of Veracruz, how emergence of specialized roles in participatory simulations could be used to desi...
131
Voted
PR
2008
15 years 3 months ago
2008
In this paper we address the task of writer identification of on-line handwriting captured from a whiteboard. Different sets of features are extracted from the recorded data and u...
138
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...