942 search results - page 147 / 189 » Cooperating Constraint Solvers |
SIGSOFT
2000
ACM
14 years 26 days ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
ICCAD
1999
IEEE
14 years 24 days ago
1999
IEEE
The optimal state minimization problem is to select a reduced state machine having the best logic implementation over all possible state reductions and encodings. A recent algorit...
ICSE
1997
IEEE-ACM
14 years 19 days ago
1997
IEEE-ACM
-- Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful component reuse and substitutability ...
CEC
2007
IEEE
14 years 15 days ago
2007
IEEE
This paper studies the problems involved in solving, rating and generating Sudoku puzzles with genetic algorithms (GA). Sudoku is a number puzzle that has recently become a worldwi...
SP
2010
IEEE
14 years 11 days ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...