Sciweavers

6343 search results - page 1057 / 1269
» Development of a Cartographic Language
Sort
View
EUC
2005
Springer
15 years 10 months ago
New Area Management Method Based on "Pressure" for Plastic Cell Architecture
In the present paper, we propose a novel area management method based on the concept of “pressure”. Plastic Cell Architecture (PCA) is a dynamically reconfigurable architectur...
Taichi Nagamoto, Satoshi Yano, Mitsuru Uchida, Yui...
FASE
2005
Springer
15 years 10 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
FASE
2005
Springer
15 years 10 months ago
Improving System Understanding via Interactive, Tailorable, Source Code Analysis
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
Vladimir Jakobac, Alexander Egyed, Nenad Medvidovi...
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
15 years 10 months ago
Toward evolved flight
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
Rusty Hunt, Gregory Hornby, Jason D. Lohn
GPCE
2005
Springer
15 years 10 months ago
Object-Oriented Reengineering Patterns - An Overview
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
Oscar Nierstrasz, Stéphane Ducasse, Serge D...
« Prev « First page 1057 / 1269 Last » Next »