Sciweavers

423 search results - page 51 / 85
» Specifying Strategies for Exercises
Sort
View
WSC
2008
15 years 8 days ago
Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing
Scheduling is one of the key factors for semiconductor fabrication productivity. Objectives like lot cycle time and throughput must be optimized to push the technological developm...
Andreas Klemmt, Sven Horn, Gerald Weigert, Thomas ...
ESEM
2007
ACM
14 years 11 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
ENTER
2008
Springer
14 years 11 months ago
Adaptive Recommender Systems for Travel Planning
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
Tariq Mahmood, Francesco Ricci, Adriano Venturini,...
ICWS
2008
IEEE
14 years 11 months ago
A Framework for the Semantic Composition of Web Services Handling User Constraints
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
Youssef Gamha, Nacéra Bennacer, Guy Vidal-N...
CORR
2008
Springer
114views Education» more  CORR 2008»
14 years 10 months ago
Bits through ARQs
We study a problem motivated by cognitive radio in which the primary is a packet system that employs ARQ feedback. A secondary system is allowed to transmit in the same frequency b...
Krishnan Eswaran, Michael Gastpar, Kannan Ramchand...