A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
We introduce a new set of probabilistic analysis tools based on the analysis of And-Or trees with random inputs. These tools provide a unifying, intuitive, and powerful framework ...
Michael Luby, Michael Mitzenmacher, Mohammad Amin ...
Background: Common existing phylogenetic tree visualisation tools are not able to display readable trees with more than a few thousand nodes. These existing methodologies are base...
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...