It is quite common in tourism industry that a tourist would love to gain the most wonderful experience from visiting multiple places in one trip. This is a service composition problem and is difficult to manage because of several reasons. We address this problem by proposing an agent-based service composition framework to allocate to the tourist an optimal composite service. We take into accoun...

Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are intended to refer to exactly one product feature and can only extend existing implementations. To provide more flexibility for implementing software product lines, we propose delta-oriented programming (DOP) as a novel p...

The stepped leader forms the first phase of the first stroke in any lightning flash. It is basically a stepwise elongating discharge in air, which carries significant charge. The charge distribution on the leader and its velocity of descent determine the attractive radius in shielding efficiency calculations. Also, the conductivity and the charge distribution on the leader tip region govern the...

Top-down and bottom-up theorem proving approaches have each speciic advantages and disadvantages. Bottom-up provers proot from strong redundancy control and suuer from the lack of goal-orientation, whereas top-down provers are goal-oriented but have weak calculi when their proof lengths are considered. In order to integrate both approaches our method is to achieve cooperation between a top-down...

Service-Oriented Architecture (SOA) is a promising approach for developing integrated enterprise applications. Although the architectural aspects of SOA have been investigated in research and industry literature, the actual process of designing and implementing services in SOA is not well understood. The goal of this paper is to identify tasks needed for successful design and implementation of ...

this paper presents an appropriate categorization of business processes in order to study the different aspects of knowledge management for each kind of business processes. in this categorization, business processes are classified into the four categories including work-flow oriented, decision oriented, information oriented and motivation oriented. then, the special attributes and knowledge man...