2302 search results - page 257 / 461 » Testing as Abstraction |
146
click to vote
ECEASST
2010
15 years 4 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
230
click to vote
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
179
click to vote
PUC
2011
15 years 1 months ago
2011
Abstract Research field trials of fully functional prototypes of location-based games are an effective way to test game designs and develop an understanding of what makes games co...
140
click to vote
ICFHR
2010
15 years 1 months ago
2010
Abstract--Doodle-based graphical passwords represent a challenging scenario due to their high variability and the tendency to be graphically simple. Despite this, doodle-based auth...
156
click to vote
SIAMSC
2010
15 years 1 months ago
2010
Abstract. The full multigrid (FMG) algorithm is often claimed to achieve so-called discretizationlevel accuracy. In this paper, this notion is formalized by defining a worst-case r...