10802 search results - page 271 / 2161 » Generative and developmental systems |
109
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
103
click to vote
IICS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
ER
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
130
click to vote
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
108
click to vote
IWDC
2001
Springer
15 years 5 months ago
2001
Springer
Considering that current end to end communication services are not adapted for supporting efficiently distributed multimedia application, this paper introduces a new family of gene...