Sciweavers

1054 search results - page 174 / 211
» Model Transformations in the Model-Based Development of Real...
Sort
View
JLP
2006
108views more  JLP 2006»
13 years 8 months ago
On testing UML statecharts
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
Mieke Massink, Diego Latella, Stefania Gnesi
EUMAS
2006
13 years 10 months ago
Agent Capability: Automating the Design to Code Process
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
Loris Penserini, Anna Perini, Angelo Susi, John My...
ISMIS
1997
Springer
14 years 29 days ago
Discovering Empirical Equations from Robot-Collected Data
Discovery of multidimensional empirical equations has been a task of systems such as BACON and FAHRENHEIT. When confronted with data collected in a robotic experiment, BACON-like g...
Kuang-Ming Huang, Jan M. Zytkow
WCRE
2007
IEEE
14 years 3 months ago
Quality Assessment Based on Attribute Series of Software Evolution
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...
Jacek Ratzinger, Harald Gall, Martin Pinzger
FGR
2000
IEEE
158views Biometrics» more  FGR 2000»
14 years 1 months ago
Dual-State Parametric Eye Tracking
Most eye trackers work well for open eyes. However, blinking is a physiological necessity for humans. Moreover, for applicationssuch as facial expression analysis and driver aware...
Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn