6704 search results - page 898 / 1341 » Testing Scenario-Based Models |
194
click to vote
ESOP
2005
Springer
16 years 1 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
193
click to vote
EVOW
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a new evolutionary region merging method to improve segmentation quality result on oversegmented images. The initial segmented image is described by a modified ...
168
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
We investigate the results of coevolution of spatially distributed populations. In particular, we describe work in which a simple function approximation problem is used to compare...
158
click to vote
HPCC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
236
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...