Sciweavers

2703 search results - page 42 / 541
» Learning operational requirements from goal models
Sort
View
TSE
2010
197views more  TSE 2010»
13 years 2 months ago
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
Vahid Garousi
ESOP
2010
Springer
14 years 5 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
WWW
2005
ACM
14 years 8 months ago
Designing learning services: from content-based to activity-based learning systems
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
Pythagoras Karampiperis, Demetrios G. Sampson
AAI
2005
117views more  AAI 2005»
13 years 7 months ago
Machine Learning in Hybrid Hierarchical and Partial-Order Planners for Manufacturing Domains
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
Susana Fernández, Ricardo Aler, Daniel Borr...
IDA
2000
Springer
13 years 7 months ago
From machine learning to knowledge discovery: Survey of preprocessing and postprocessing
Knowledge Discovery in Databases (KDD) has become a very attractive discipline both for research and industry within last few years. Its goal is to extract pieces of knowledge or `...
Ivan Bruha