Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs...
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
This research presents an integrated simulation modelingDesign For Six Sigma (DFSS) framework to study the design and process issues in a server manufacturing environment. The ser...
Sreekanth Ramakrishnan, Pei-Fang Tsai, Christiana ...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...