6704 search results - page 898 / 1341 » Testing Scenario-Based Models |
155
click to vote
ESOP
2005
Springer
15 years 12 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, ...
165
click to vote
EVOW
2005
Springer
15 years 12 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 ...
143
click to vote
GECCO
2005
Springer
15 years 12 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...
135
click to vote
HPCC
2005
Springer
15 years 12 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 ...
208
click to vote
ICCS
2005
Springer
15 years 12 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...