Sciweavers

3038 search results - page 337 / 608
» Controlling Engineering Problem Solving
Sort
View
220
Voted
POPL
2005
ACM
16 years 3 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
125
Voted
KBSE
2007
IEEE
15 years 9 months ago
An automated approach to monitoring and diagnosing requirements
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John M...
ICDE
2007
IEEE
142views Database» more  ICDE 2007»
15 years 9 months ago
Database Virtualization: A New Frontier for Database Tuning and Physical Design
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
Ahmed A. Soror, Ashraf Aboulnaga, Kenneth Salem
125
Voted
GECCO
2007
Springer
175views Optimization» more  GECCO 2007»
15 years 8 months ago
An evolutionary multiobjective approach to design highly non-linear Boolean functions
The proliferation of all kinds of devices with different security requirements and constraints, and the arms-race nature of the security problem are increasingly demanding the de...
Hernán E. Aguirre, Hiroyuki Okazaki, Yasush...
127
Voted
GECCO
2006
Springer
170views Optimization» more  GECCO 2006»
15 years 6 months ago
Combining simplex with niche-based evolutionary computation for job-shop scheduling
We propose a hybrid algorithm (called ALPINE) between Genetic Algorithm and Dantzig's Simplex method to approximate optimal solutions for the Flexible Job-Shop Problem. Local...
Syhlin Kuah, Joc Cing Tay