3281 search results - page 249 / 657 » An Approach to use Executable Models for Testing |
113
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load....
136
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
134
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
133
click to vote
ACL
2012
13 years 6 months ago
2012
We present a novel approach to the task of word lemmatisation. We formalise lemmatisation as a category tagging task, by describing how a word-to-lemma transformation rule can be ...
121
click to vote
HAIS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...