4067 search results - page 522 / 814 » Programs for Applying Symmetries |
128
Voted
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
146
click to vote
MSR
2006
ACM
16 years 17 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
176
click to vote
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Improperly validated user input is the underlying root cause for a wide variety of attacks on web-based applications. Static approaches for detecting this problem help at the time...
164
click to vote
CEC
2005
IEEE
16 years 7 days ago
2005
IEEE
We solve the Flexible Job-Shop Problem (FJSP) by using dispatching rules discovered through Genetic Programming (GP). While Simple Priority Rules (SPR) have been widely applied in ...
148
click to vote
CIG
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a way to integrate search and Monte-Carlo methods in the game of Go. Our program uses search to find the status of tactical goals, builds groups, selects interesting go...