Computer-Aided DNA Base Calling from Forward and Reverse Electropherograms -- A Multi-agent System for Protein Secondary Structure Prediction -- Modeling Kohn Interaction Maps with Beta-Binders: An Example -- Multidisciplinary Investigation into Adult Stem Cell Behavior -- Statistical Model Selection Methods Applied to Biological Networks -- Using Secondary Structure Information to Perform Mult…
Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- …