We study common query intentions in a software developer network with more than one million users. Based on a large query log analysis we could identify typical search intentions a...
In this paper weexplore techniquesto minewebpagesof scientists to extract informationregardingtheir expertise, build expertise chains and referral webs, and semi automatically com...
The bottleneck of a data warehouse implementation is the ETL (extraction, transformation, and load) process, which carries out the initial population of the data warehouse and its...
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...