Sciweavers

686 search results - page 105 / 138
» Automatic Model Generation Strategies for Model Transformati...
Sort
View
DS
2001
118views Database» more  DS 2001»
15 years 1 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
WCE
2007
15 years 27 days ago
Experimental Study on Lightning Characteristics of Electronic Equipment's Power Supply
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
Chai Yajing, Zhou Wenjun, He Ruidong, Zhao Luxing
PLDI
2003
ACM
15 years 5 months ago
A comparison of empirical and model-driven optimization
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibuls...
SEUS
2010
IEEE
14 years 10 months ago
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
Susanne Kandl, Raimund Kirner
CORR
2008
Springer
135views Education» more  CORR 2008»
14 years 12 months ago
Probabilistic SVM/GMM Classifier for Speaker-Independent Vowel Recognition in Continues Speech
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
Mohammad Nazari, Abolghasem Sayadiyan, Seyyed Maji...