Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
Andrew K. Miller, Tommy Yu, Randall Britten, Mike ...
Abstract. In this paper, we derive asymptotic models for the propagation of two and threedimensional gravity waves at the free surface and the interface between two layers of immis...
Soft computing (SC) emerged as an integrating framework for a number of techniques that could complement one another quite well (artificial neural networks, fuzzy systems, evolutio...
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...