2205 search results - page 129 / 441 » Mutation Operators for Specifications |
103
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
DKE
2000
15 years 2 months ago
2000
: Large information bases that are used by several different users and applications accommodate the demands of their users more effectively, if they can be split into possibly over...
121
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
128
click to vote
EPS
1998
Springer
15 years 6 months ago
1998
Springer
This paper discusses a simple representation of variable-dimensional optimization problems for evolutionary algorithms. Although it was successfully applied to the optimization of ...
108
click to vote
BLISS
2009
IEEE
15 years 3 months ago
2009
IEEE
Robot Security is becoming more and more a serious issue for many modern applications. Robot Security matters are still not intensively addressed in the published literature. The ...