MUNITY is a program veri cation system for parallel programs ex pressed in the UNITY language of K M Chandy and J Misra Given a program and a list of hypothesized properties expressed in the temporal UNITY logic MUNITY generates and largely proves a list of veri cation conditions The development environment supports the interactive dis covery and proof of relevant UNITY properties expressing st...

This paper introduces a Distributed Interactive Simulation (DIS) application called “Naval Surface Tactical Maneuvering Simulation System (NSTMSS)” and describes its architecture. NSTMSS serves as a Networked Virtual Environment (NVE) testbed for naval surface actions in which new tactics, operations and formations can be evaluated as well as the present ones can be analyzed. NSTMSS is being de...

The abundance of data at our disposal empowers data-driven applications and decisionmaking. The knowledge captured in the data, however, has not been utilized to fullpotential, as it is only accessible to human interpretation and data are distributed inheterogeneous repositories. Ontologies are a key technology unlocking the knowledge in the data by providingmeans to model the w...

Given the genomes (DNA) of two related species, one of the whole genome alignment tasks is to locate regions on the genomes that possibly contain genes conserved over the two species. Most of the existing whole genome alignment software tools, MUMmer (Delcher et al., 2002; Kurtz et al., 2004), MaxMincluster (Wong et al., 2004), and MSS (Chan et al., 2004), generate Maximal Unique Matches (MUMs)...