486 search results - page 39 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
GCB
2004
Springer
14 years 1 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
ICCS
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...