Sciweavers

29147 search results - page 20 / 5830
» System Modeling Resurrected
Sort
View
ECBS
2009
IEEE
193views Hardware» more  ECBS 2009»
14 years 7 months ago
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
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...
BMCBI
2011
14 years 4 months ago
Revision history aware repositories of computational models of biological systems
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 ...
SIAMMA
2010
87views more  SIAMMA 2010»
14 years 4 months ago
Asymptotic Shallow Water Models for Internal Waves in a Two-Fluid System with a Free Surface
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...
Vincent Duchêne
TNN
2010
174views Management» more  TNN 2010»
14 years 4 months ago
Equivalences between neural-autoregressive time series models and fuzzy systems
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...
José Luis Aznarte, José Manuel Ben&i...
FSTTCS
2010
Springer
14 years 7 months ago
Global Model Checking of Ordered Multi-Pushdown Systems
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...
Mohamed Faouzi Atig