Sciweavers

4890 search results - page 411 / 978
» From system specifications to component behavioral models
Sort
View
IEAAIE
2005
Springer
16 years 17 days ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
BMCBI
2008
97views more  BMCBI 2008»
15 years 7 months ago
Quantitative analysis of numerical solvers for oscillatory biomolecular system models
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
Chang F. Quo, May D. Wang
ICASSP
2011
IEEE
14 years 10 months ago
Identification and compensation of Wiener-Hammerstein systems with feedback
Efficient operation of RF power amplifiers requires compensation strategies to mitigate nonlinear behavior. As bandwidth increases, memory effects become more pronounced, and Vo...
Andrew K. Bolstad, Benjamin A. Miller, Joel Goodma...
WWW
2005
ACM
16 years 7 months ago
Building adaptable and reusable XML applications with model transformations
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
Ivan Kurtev, Klaas van den Berg
KDD
2001
ACM
231views Data Mining» more  KDD 2001»
16 years 7 months ago
A Framework for Efficient and Anonymous Web Usage Mining Based on Client-Side Tracking
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...
Cyrus Shahabi, Farnoush Banaei Kashani