\documentclass[a4paper]{llncs}


\usepackage{times,graphics,epsfig, enumerate, pifont}
\input{definitions}

\begin{document}

\mainmatter

\title{Generic Component Lookup}

\titlerunning{Generic Component Lookup}

\author{Till G. Bay\inst{1} \and Patrick Eugster\inst{2} \and Manuel Oriol\inst{1}}

\authorrunning{Till G. Bay, Patrick Eugster and Manuel Oriol}

\institute{Chair of Software Engineering, Swiss Federal Institute of Technology in Z\"{u}rich\\
CH-8092 Z\"{u}rich, Switzerland\\
\and
Purdue University, Dept. of Computer Science, West Lafayette, IN 47907, USA\\
} 
%\texttt{http://se.inf.ethz.ch/index.html}}

\maketitle

\begin{abstract}
\input{Abstract}
\end{abstract}

% importance of lookup

\input{Introduction}

% basic model of components and lookup, some examples

\input{Background}

% formal model

\input{Model}

% illustration through some examples introduced in background

\input{Examples}

% t.b.d.

\input{Implementation}

\input{Conclusions}

\bibliography{Biblio}
\bibliographystyle{splncs}

\end{document}
