Sciweavers

379 search results - page 31 / 76
» The AGEDIS Tools for Model Based Testing
Sort
View
WSC
2008
15 years 6 months ago
Impact of qualification management on scheduling in semiconductor manufacturing
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...
Carl Johnzen, Philippe Vialletelle, Stéphan...
ISSTA
2009
ACM
15 years 8 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
140
Voted
ISPW
2007
IEEE
15 years 10 months ago
Comparative Experiences with Electronic Process Guide Generator Tools
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Monvorath Phongpaibul, Supannika Koolmanojwong, Al...
141
Voted
INFORMATICALT
2011
112views more  INFORMATICALT 2011»
14 years 10 months ago
The Minimum Density Power Divergence Approach in Building Robust Regression Models
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...
Alessandra Durio, Ennio Davide Isaia
106
Voted
WSC
2008
15 years 6 months ago
Concurrent simulation and optimization models for mining planning
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
Marcelo Moretti Fioroni, Luiz Augusto Gago Franzes...