3090 search results - page 360 / 618 » On Testing Answer-Set Programs |
199
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
176
Voted
CPM
2010
Springer
15 years 11 months ago
2010
Springer
We study the minimum mosaic problem, an optimization problem originated in population genomics. We develop a new lower bound, called the C bound. The C bound is provably higher and...
151
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: This paper has several contributions. First, we report that long sudden delays during data transfers are not uncommon in the GPRS wireless WAN. Long sudden delays can lead to spu...
170
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
206
click to vote
CARDIS
2000
Springer
15 years 11 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...