2205 search results - page 376 / 441 » Mutation Operators for Specifications |
SACMAT
2003
ACM
14 years 3 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
DIGITALCITIES
2003
Springer
14 years 3 months ago
2003
Springer
In order to utilize geographic web information for digital city applications, we have been developing a geographic web search system, KyotoSEARCH. When users retrieve geographic in...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Without trust, most prudent business operators and clients may decide to forgo use of the Internet and revert back to traditional methods of doing business. To counter this trend,...
EUROGP
2009
Springer
14 years 2 months ago
2009
Springer
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
SMA
1993
ACM
14 years 2 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...