In many recent object recognition systems, feature extraction stages are generally
composed of a filter bank, a non-linear transformation, and some sort of feature pooling …

Web Services are the most famous implementation of service-oriented architectures that has
brought some challenging research issues. One of these is the composition, ie, the …

We describe a prototype scalable and highly available web server, built on an IBM SP-2
system, and analyze its scalability. The system architecture consists of a set of logical front …

The max-flow min-cut theorem of Ford and Fulkerson is based on an even more
foundational result, namely Menger's theorem on graph connectivity Menger's theorem …

Along with the standardization of Web services composition language and the widespread
acceptance of composition technologies, Web services composition is becoming an efficient …

Service composition facilitates seamless and flexible integration of applications from
different providers. With the growing number of services that offer the same functionality but …

Due to distribution, participant autonomy and lack of local control, service-based systems
operate in highly dynamic and uncertain environments. In the face of such dynamism and …

With the rapid development of e-commerce over the internet, web services have attracted
much attention in recent years. Nowadays, enterprises are able to outsource their internal …

This paper describes two new bisimulation equivalences for the pure untyped call-by-
value/spl lambda/-calculus, called enf bisimilarity and enf bisimilarity up to/spl eta/. They are …

This paper addresses the issue of verifying if composite Web services design meets some
desirable properties in terms of deadlock freedom, safety (something bad never happens) …