Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
We describe iNeATS – an interactive multi-document summarization system that integrates a state-of-the-art summarization engine with an advanced user interface. Three main goals...
A cellular engineer typically estimates system performance via simulation. An important input to this simulation is the average busy hour subscriber location distribution. The per...
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...