%  $Id: issre-2005.tex,v 1.3 2005/04/30 17:56:12 gokhale Exp $
\documentclass{ieee}
%\documentclass[11pt]{article}

\usepackage{times}
\usepackage{graphicx,epsfig}
\usepackage{abbrev}
\usepackage{url}
\usepackage{color}
\usepackage{setspace}
\usepackage{vmargin}
\setpapersize{USletter}
\setmarginsrb{2.5cm}{2.5cm}{2.5cm}{1.5cm}{0pt}{0mm}{0pt}{8mm}

%\renewcommand{\baselinestretch}{2}

\newcommand{\styledir}{c:/papers/Styles}
%% \bfcaption prints a \bf caption, but normal font in lists of tables/figures
\def\bfcaption#1{\caption[#1]{\bf #1}}

%\onehalfspacing
\graphicspath{{../SRDS-2005/}{./}}

\begin{document}
\title{
Model-Driven Performability Analysis of An Event Demultiplexing Pattern}
\author{
\begin{tabular}{ccc}
Aniruddha S. Gokhale & Swapna S. Gokhale\thanks{This research was 
supported in part by a grant from the National Science Foundation,
NSF-CNS \#0406376} & Jeffrey G. Gray \\
Dept of EECS & Dept. of CSE & Dept. of CIS \\ 
Vanderbilt Univ. & Univ. of Connecticut & Univ. of Alabama \\
Nashville, TN 37235 & Storrs, CT 06269 & Birmingham, AL \\
a.gokhale@vanderbilt.edu & ssg@engr.uconn.edy & gray@cis.uab.edu \\
\end{tabular}
}

\date{}

\maketitle
\thispagestyle{empty}

% Abstract
\input{abstract}

% Intro
\input{intro}

\input{reactor}

% SRN background
%\input{../SRDS-2005/background}

% MC
\input{mc-nd}

% case study
\input{casestudy}

% MDD
\input{mdd}

% concluding remarks
\input{../SRDS-2005/conclusions}

{
%\ls{0.8}
\bibliographystyle{plain}
\bibliography{networks,analysis,perf-id}
}

\end{document}
