Sciweavers

2192 search results - page 44 / 439
» Embedded function composition
Sort
View
ICSOC
2009
Springer
13 years 6 months ago
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
Haruhiko Takada, Incheon Paik
ICFP
2005
ACM
14 years 8 months ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
NAR
2011
194views Computer Vision» more  NAR 2011»
12 years 11 months ago
GreenPhylDB v2.0: comparative and functional genomics in plants
GreenPhylDB is a database designed for comparative and functional genomics based on complete genomes. Version 2 now contains sixteen full genomes of members of the plantae kingdom...
Mathieu Rouard, Valentin Guignon, Christelle Aluom...
FSE
2010
Springer
149views Cryptology» more  FSE 2010»
14 years 1 months ago
Domain Extension for Enhanced Target Collision-Resistant Hash Functions
We answer the question of Reyhanitabar et al. from FSE’09 of constructing a domain extension scheme for enhanced target collisionresistant (eTCR) hash functions with sublinear ke...
Ilya Mironov
CEC
2007
IEEE
14 years 3 months ago
N-gram fitness function with a constraint in a musical evolutionary system
—This paper describes an evolutionary music composition system that combines trainable music critics with a bag of notes constraint. Unlike many evolutionary composition systems,...
Man Yat Lo, Simon M. Lucas