8828 search results - page 1159 / 1766 » Formal methods in practice |
189
click to vote
SMA
2005
ACM
16 years 1 months ago
2005
ACM
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
184
click to vote
CSCLP
2005
Springer
16 years 29 days ago
2005
Springer
CSP search algorithms are exponential in the worst-case. A trivial upper bound on the time complexity of CSP search algorithms is O∗ (dn ), where n and d are the number of variab...
170
click to vote
DRMTICS
2005
Springer
16 years 29 days ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...
204
click to vote
FC
2005
Springer
16 years 29 days ago
2005
Springer
One of today’s fastest growing crimes is identity theft – the unauthorized use and exploitation of another individual’s identitycorroborating information. It is exacerbated b...
183
click to vote
GECCO
2005
Springer
16 years 29 days ago
2005
Springer
A number of recent studies introduced meta-evolutionary strategies and successfully used them for solving problems in genetic programming. While individual results indicate possib...