3742 search results - page 585 / 749 » On the Use of Formal Techniques for Validation |
155
click to vote
EUROGP
2009
Springer
16 years 1 months ago
2009
Springer
Coevolution often gives rise to counter-intuitive dynamics that defy our expectations. Here we suggest that much of the confusion surrounding coevolution results from imprecise not...
180
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
148
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
158
click to vote
ICSOC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
161
click to vote
KES
2009
Springer
16 years 1 months ago
2009
Springer
The web data or data originated on the Web contain information and knowledge which allows improving web site efficiency and effectiveness to attract and retain visitors. However, w...