In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...
This paper presents an implementation of iris recognition algorithm using phase-based image matching -- an image matching technique using phase components in 2D Discrete Fourier T...
Databases are at the core of successful businesses. Due to the voluminous stores of personal data being held by companies today, preserving privacy has become a crucial requiremen...
Rakesh Agrawal, Paul Bird, Tyrone Grandison, Jerry...
In this paper, we illustrate an application aimed at predicting protein secondary structure. The proposed system has been devised using PACMAS, a generic architecture designed to s...